Home
Publications
Preprints
Talks
Page not found
Perhaps you were looking for one of these?
Latest
Publications
On categorical structures arising from implicative algebras: from topology to assemblies
A Presheaf Semanticsfor Quantified Temporal Logics
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
Weakly Markov Categories and Weakly Affine Monads
Specification and verification of a linear-time temporal logic for graph transformations
Preprints
A characterization of regular and exact completions of pure existential completions
Sheafification as a geometric tripos-to-topos adjunction
Events
Cite
×