Tomás Jakl

According to our database, Tomás Jakl authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A categorical account of composition methods in logic.

Tomás Jakl, Dan Marsden, Nihil Shah

LICS, 2023

2022

A duality theoretic view on limits of finite structures: Extended version.

Mai Gehrke, Tomás Jakl, Luca Reggio

Log. Methods Comput. Sci., 2022

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.

Tomás Jakl, Dan Marsden, Nihil Shah

CoRR, 2022

Discrete Density Comonads and Graph Parameters.

Samson Abramsky, Tomás Jakl, Thomas Paine

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Lovász-Type Theorems and Game Comonads.

Anuj Dawar, Tomás Jakl, Luca Reggio

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.

Mai Gehrke, Tomás Jakl, Luca Reggio

CoRR, 2020

A Duality Theoretic View on Limits of Finite Structures.

Mai Gehrke, Tomás Jakl, Luca Reggio

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Canonical extensions of locally compact frames.

Tomás Jakl

CoRR, 2019

Quotients of d-Frames.

Tomás Jakl, Achim Jung, Ales Pultr

Appl. Categorical Struct., 2019

2018

d-Frames as algebraic duals of bitopological spaces.

Tomás Jakl

PhD thesis, 2018

2017

Free Constructions and Coproducts of d-Frames.

Tomás Jakl, Achim Jung

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Bitopology and Four-valued Logic.

Tomás Jakl, Achim Jung, Ales Pultr

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016