Octavio Malherbe

MaRDI QIDQ1940190zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
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
A concrete model for a typed linear algebraic lambda calculus Mathematical Structures in Computer Science	2024-03-05	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
Realizability in OCAs and AKSs	2015-12-24	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
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

Research outcomes over time

This page was built for person: Octavio Malherbe