| Publication | Date of Publication | Type |
|---|
| Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky | 2024-10-01 | Paper |
Fibered universal algebra for first-order logics
Journal of Pure and Applied Algebra | 2023-09-19 | Paper |
| Computing with Categories in Machine Learning | 2023-03-07 | Paper |
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
| A Probabilistic Generative Model of Free Categories | 2022-05-09 | Paper |
Chu duality theory and coalgebraic representation of quantum symmetries
Journal of Pure and Applied Algebra | 2022-04-13 | Paper |
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
Journal of Symbolic Logic | 2021-12-09 | Paper |
| Duality theory and categorical universal logic: with emphasis on quantum structures | 2021-06-29 | Paper |
Duality theory and categorical universal logic: with emphasis on quantum structures
(available as arXiv preprint) | 2021-06-29 | Paper |
Topological duality via maximal spectrum functor
Communications in Algebra | 2020-06-08 | Paper |
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism
Synthese | 2017-03-14 | Paper |
| Categorical duality theory: with applications to domains, convexity, and the distribution monad | 2017-02-02 | Paper |
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
From operational Chu duality to coalgebraic quantum symmetry
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Natural duality, modality, and coalgebra
Journal of Pure and Applied Algebra | 2012-05-30 | Paper |
Dualities for algebras of Fitting's many-valued modal logics
Fundamenta Informaticae | 2011-11-22 | Paper |
Fundamental results for pointfree convex geometry
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
Studia Logica | 2010-04-26 | Paper |
A Duality for Algebras of Lattice-Valued Modal Logic
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
Logic and Its Applications | 2009-02-12 | Paper |
