Sfoglia per Autore
The Schutzenberger Product for Syntactic Spaces
2016 M. Gehrke, D. Petrisan, L. Reggio
Quantifiers on languages and codensity monads
2017 M. Gehrke, D. Petrisan, L. Reggio
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)
2017 V. Marra, L. Reggio
An open mapping theorem for finitely copresented Esakia spaces
2018 S. VAN GOOL, L. Reggio
On the Axiomatisability of the Dual of Compact Ordered Spaces
2020 M. Abbadini, L. Reggio
A characterisation of the category of compact Hausdorff spaces
2020 V. Marra, L. Reggio
A duality theoretic view on limits of finite structures
2020 M. Gehrke, T. Jakl, L. Reggio
Codensity, profiniteness and algebras of semiring-valued measures
2020 L. Reggio
Quantifiers on languages and codensity monads
2021 M. Gehrke, D. Petrisan, L. Reggio
Beth definability and the Stone-Weierstrass Theorem
2021 L. Reggio
Arboreal Categories and Resources
2021 S. Abramsky, L. Reggio
Lovász-type theorems and game comonads
2021 A. Dawar, T. Jakl, L. Reggio
A duality theoretic view on limits of finite structures: Extended version
2022 M. Gehrke, T. Jakl, L. Reggio
Polyadic sets and homomorphism counting
2022 L. Reggio
Barr-exact categories and soft sheaf representations
2023 M. Abbadini, L. Reggio
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
2023 M. Gehrke, T. Jakl, L. Reggio
Model completions for universal classes of algebras: necessary and sufficient conditions
2023 G. Metcalfe, L. Reggio
Arboreal categories: An axiomatic theory of resources
2023 S. Abramsky, L. Reggio
Arboreal categories and equi-resource homomorphism preservation theorems
2024 S. Abramsky, L. Reggio
An Invitation to Game Comonads
2024 S. Abramsky, L. Reggio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile