Luca Reggio

J. Symb. Log., March, 2023

Arboreal Categories: An Axiomatic Theory of Resources.

[BibT_eX]

[DOI]

Samson Abramsky

Log. Methods Comput. Sci., 2023

Finitely accessible arboreal adjunctions and Hintikka formulae.

[BibT_eX]

[DOI]

Colin Riba

CoRR, 2023

2022

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

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

2021

Polyadic Sets and Homomorphism Counting.

[BibT_eX]

[DOI]

CoRR, 2021

Beth definability and the Stone-Weierstrass Theorem.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

Lovász-Type Theorems and Game Comonads.

[BibT_eX]

[DOI]

Anuj Dawar

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

Arboreal Categories and Resources.

[BibT_eX]

[DOI]

Samson Abramsky

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Quantifiers on languages and codensity monads.

[BibT_eX]

[DOI]

Daniela Petrisan

Math. Struct. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

On the Axiomatisability of the Dual of Compact Ordered Spaces.

[BibT_eX]

[DOI]

Marco Abbadini

Appl. Categorical Struct., 2020

A Duality Theoretic View on Limits of Finite Structures.

[BibT_eX]

[DOI]

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

2018

Quantifiers and duality. (Quantificateurs et dualité).

[BibT_eX]

[DOI]

PhD thesis, 2018

2016

The Schützenberger Product for Syntactic Spaces.

[BibT_eX]

[DOI]

Daniela Petrisan