| Publication | Date of Publication | Type |
|---|
The Sup Connective in IMALL: A Categorical Semantics
(available as arXiv preprint) | N/A | Paper |
WITHDRAWN: A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
(available as arXiv preprint) | N/A | Paper |
A linear proof language for second-order intuitionistic linear logic
(available as arXiv preprint) | N/A | Paper |
The sup connective in IMALL: a categorical semantics
Theoretical Computer Science | 2026-04-16 | Paper |
An algebraic extension of intuitionistic linear logic: the \(\mathcal{L}_!^{\mathcal{S}}\)-calculus and its categorical model
Journal of Logic and Computation | 2025-12-10 | Paper |
| A linear proof language for second-order intuitionistic linear logic | 2025-01-31 | Paper |
Basis-Sensitive Quantum Typing via Realisability
(available as arXiv preprint) | 2025-01-01 | Paper |
| Beyond monads and biproducts: a uniform interpretation of parallelism in intuitionistic logic | 2025-01-01 | Paper |
A concrete model for a typed linear algebraic lambda calculus
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Parallel and algebraic lambda-calculi in intuitionistic propositional logic
(available as arXiv preprint) | 2024-01-01 | Paper |
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Logical Methods in Computer Science | 2022-10-06 | Paper |
A categorical construction for the computational definition of vector spaces
Applied Categorical Structures | 2021-05-04 | Paper |
A categorical construction for the computational definition of vector spaces
Applied Categorical Structures | 2021-05-04 | Paper |
The category of implicative algebras and realizability
Mathematical Structures in Computer Science | 2020-05-04 | Paper |
| A concrete categorical semantics of lambda-\(\mathcal{S}\) | 2019-11-13 | Paper |
Realizability in ordered combinatory algebras with adjunction
Mathematical Structures in Computer Science | 2019-02-19 | Paper |
Ordered combinatory algebras and realizability
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
| Linear Hyperdoctrines and Comodules | 2016-12-20 | Paper |
Linear Hyperdoctrines and Comodules
(available as arXiv preprint) | 2016-01-01 | Paper |
| Realizability in OCAs and AKSs | 2015-12-24 | Paper |
Realizability in OCAs and AKSs
(available as arXiv preprint) | 2015-01-01 | Paper |
| A Report on Realizability | 2013-09-03 | Paper |
Presheaf models of quantum computation: an outline
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Partially traced categories
Journal of Pure and Applied Algebra | 2013-03-06 | Paper |
| Categorical models of computation: partially traced categories and presheaf models of quantum computation | 2013-01-22 | Paper |
Categorical models of computation: partially traced categories and presheaf models of quantum computation
(available as arXiv preprint) | 2013-01-01 | Paper |
A Report on Realizability
(available as arXiv preprint) | 2013-01-01 | Paper |
