Octavio Malherbe

Available identifiers

zbMath Open malherbe.octavioMaRDI QIDQ1940190

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Octavio Malherbe