Octavio Malherbe

According to our database, Octavio Malherbe authored at least 16 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

The sup connective in IMALL: A categorical semantics.

Alejandro Díaz-Caro, Octavio Malherbe

Theor. Comput. Sci., 2026

2025

Basis-Sensitive Quantum Typing via Realisability.

Alejandro Díaz-Caro, Octavio Malherbe, Rafael Romero

CoRR, October, 2025

An Algebraic Extension of Intuitionistic Linear Logic: The L_!^S-Calculus and Its Categorical Model.

Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe

CoRR, April, 2025

An algebraic extension of intuitionistic linear logic: the 𝓛!𝒮-calculus and its categorical model.

Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe

J. Log. Comput., 2025

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic.

Alejandro Díaz-Caro, Octavio Malherbe

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2024

A concrete model for a typed linear algebraic lambda calculus.

Alejandro Díaz-Caro, Octavio Malherbe

Math. Struct. Comput. Sci., 2024

Parallel and algebraic lambda-calculi in intuitionistic propositional logic.

Alejandro Díaz-Caro, Octavio Malherbe

CoRR, 2024

A Linear Proof Language for Second-Order Intuitionistic Linear Logic.

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe

Proceedings of the Logic, Language, Information, and Computation, 2024

2022

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model.

Alejandro Díaz-Caro, Octavio Malherbe

Log. Methods Comput. Sci., 2022

Semimodules and the (syntactically-)linear lambda calculus.

Alejandro Díaz-Caro, Octavio Malherbe

CoRR, 2022

2020

A Categorical Construction for the Computational Definition of Vector Spaces.

Alejandro Díaz-Caro, Octavio Malherbe

Appl. Categorical Struct., 2020

2019

The category of implicative algebras and realizability.

Walter Ferrer Santos, Octavio Malherbe

Math. Struct. Comput. Sci., 2019

Realizability in ordered combinatory algebras with adjunction.

Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe

Math. Struct. Comput. Sci., 2019

2018

A Concrete Categorical Semantics of Lambda-S.

Alejandro Díaz-Caro, Octavio Malherbe

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

2017

Ordered combinatory algebras and realizability.

Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel

Math. Struct. Comput. Sci., 2017

2013

Presheaf Models of Quantum Computation: An Outline.

Octavio Malherbe, Philip J. Scott, Peter Selinger

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013