Octavio Malherbe

Available identifiers

Publication	Date of Publication	Type
A concrete model for a typed linear algebraic lambda calculus	2024-03-05	Paper
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model	2022-10-06	Paper
A categorical construction for the computational definition of vector spaces	2021-05-04	Paper
The category of implicative algebras and realizability	2020-05-04	Paper
A concrete categorical semantics of lambda-\(\mathcal{S}\)	2019-11-13	Paper
Realizability in ordered combinatory algebras with adjunction	2019-02-19	Paper
Ordered combinatory algebras and realizability	2017-04-03	Paper
Linear Hyperdoctrines and Comodules	2016-12-20	Paper
Realizability in OCAs and AKSs	2015-12-24	Paper
A Report on Realizability	2013-09-03	Paper
Presheaf Models of Quantum Computation: An Outline	2013-05-28	Paper
Partially traced categories	2013-03-06	Paper
Categorical models of computation: partially traced categories and presheaf models of quantum computation	2013-01-22	Paper
The Sup Connective in IMALL: A Categorical Semantics	N/A	Paper
WITHDRAWN: A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective	N/A	Paper
A linear proof language for second-order intuitionistic linear logic	N/A	Paper

This page was built for person: Octavio Malherbe