Octavio Malherbe

20 papers C 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
The sup connective in IMALL: A categorical semantics.
Theor. Comput. Sci.
Alejandro Díaz-Caro, Octavio Malherbe
2025 J jnl
An Algebraic Extension of Intuitionistic Linear Logic: The L
CoRR
Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
2025 J jnl
An algebraic extension of intuitionistic linear logic: the 𝓛!𝒮-calculus and its categorical model.
J. Log. Comput.
Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe
2025 J jnl
Basis-Sensitive Quantum Typing via Realisability.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe, Rafael Romero
2025 — conf
Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic.
FSTTCS
Alejandro Díaz-Caro, Octavio Malherbe
2024 C conf
A Linear Proof Language for Second-Order Intuitionistic Linear Logic.
WoLLIC
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
2024 J jnl
A concrete model for a typed linear algebraic lambda calculus.
Math. Struct. Comput. Sci.
Alejandro Díaz-Caro, Octavio Malherbe
2024 J jnl
Parallel and algebraic lambda-calculi in intuitionistic propositional logic.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe
2023 J jnl
A linear proof language for second-order intuitionistic linear logic.
CoRR
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
2022 J jnl
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model.
Log. Methods Comput. Sci.
Alejandro Díaz-Caro, Octavio Malherbe
2022 J jnl
Semimodules and the (syntactically-)linear lambda calculus.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe
2020 J jnl
A Categorical Construction for the Computational Definition of Vector Spaces.
Appl. Categorical Struct.
Alejandro Díaz-Caro, Octavio Malherbe
2020 J jnl
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe
2019 J jnl
A categorical construction for the computational definition of vector spaces.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe
2019 J jnl
Realizability in ordered combinatory algebras with adjunction.
Math. Struct. Comput. Sci.
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
2019 J jnl
The category of implicative algebras and realizability.
Math. Struct. Comput. Sci.
Walter Ferrer Santos, Octavio Malherbe
2018 — conf
A Concrete Categorical Semantics of Lambda-S.
LSFA
Alejandro Díaz-Caro, Octavio Malherbe
2018 J jnl
A concrete categorical semantics of Lambda-S.
CoRR
Alejandro Díaz-Caro, Octavio Malherbe
2017 J jnl
Ordered combinatory algebras and realizability.
Math. Struct. Comput. Sci.
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel
2013 — conf
Presheaf Models of Quantum Computation: An Outline.
Computation, Logic, Games, and Quantum Foundations
Octavio Malherbe, Philip J. Scott, Peter Selinger