Octavio Malherbe

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 14

Top Topics

Lambda Calculus

Top Venues

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
A Linear Proof Language for Second-Order Intuitionistic Linear Logic. WoLLIC (2024)
Alejandro Díaz-Caro, Octavio Malherbe
A concrete model for a typed linear algebraic lambda calculus. Math. Struct. Comput. Sci. 34 (1) (2024)
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe
A linear proof language for second-order intuitionistic linear logic. CoRR (2023)
Alejandro Díaz-Caro, Octavio Malherbe
Non-determinism in a linear logic type discipline: A concrete categorical perspective. CoRR (2023)
Alejandro Díaz-Caro, Octavio Malherbe
Semimodules and the (syntactically-)linear lambda calculus. CoRR (2022)
Alejandro Díaz-Caro, Octavio Malherbe
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. Log. Methods Comput. Sci. 18 (3) (2022)
Alejandro Díaz-Caro, Octavio Malherbe
A Categorical Construction for the Computational Definition of Vector Spaces. Appl. Categorical Struct. 28 (5) (2020)
Alejandro Díaz-Caro, Octavio Malherbe
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. CoRR (2020)
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Realizability in ordered combinatory algebras with adjunction. Math. Struct. Comput. Sci. 29 (3) (2019)
Alejandro Díaz-Caro, Octavio Malherbe
A categorical construction for the computational definition of vector spaces. CoRR (2019)
Walter Ferrer Santos, Octavio Malherbe
The category of implicative algebras and realizability. Math. Struct. Comput. Sci. 29 (10) (2019)
Alejandro Díaz-Caro, Octavio Malherbe
A Concrete Categorical Semantics of Lambda-S. LSFA (2018)
Alejandro Díaz-Caro, Octavio Malherbe
A concrete categorical semantics of Lambda-S. CoRR (2018)
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel
Ordered combinatory algebras and realizability. Math. Struct. Comput. Sci. 27 (3) (2017)
Octavio Malherbe, Philip Scott, Peter Selinger
Presheaf Models of Quantum Computation: An Outline. Computation, Logic, Games, and Quantum Foundations (2013)