Octavio Malherbe

According to our database, Octavio Malherbe authored at least 11 papers between 2013 and 2024.

Collaborative distances:

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

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