Presheaf Models of Quantum Computation: An Outline. - Octavio Malherbe; Philip J. Scott; Peter Selinger (Computation, Logic, Games, and Quantum Foundations, 2013)

Ordered combinatory algebras and realizability. - Walter Ferrer Santos; Jonas Frey; Mauricio Guillermo; Octavio Malherbe; Alexandre Miquel (Math. Struct. Comput. Sci., 2017)

A Concrete Categorical Semantics of Lambda-S. - Alejandro Díaz-Caro; Octavio Malherbe (LSFA, 2018)

Realizability in ordered combinatory algebras with adjunction. - Walter Ferrer Santos; Mauricio Guillermo; Octavio Malherbe (Math. Struct. Comput. Sci., 2019)

The category of implicative algebras and realizability. - Walter Ferrer Santos; Octavio Malherbe (Math. Struct. Comput. Sci., 2019)

A Categorical Construction for the Computational Definition of Vector Spaces. - Alejandro Díaz-Caro; Octavio Malherbe (Appl. Categorical Struct., 2020)

Semimodules and the (syntactically-)linear lambda calculus. - Alejandro Díaz-Caro; Octavio Malherbe (CoRR, 2022)

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. - Alejandro Díaz-Caro; Octavio Malherbe (Log. Methods Comput. Sci., 2022)

A Linear Proof Language for Second-Order Intuitionistic Linear Logic. - Alejandro Díaz-Caro; Gilles Dowek; Malena Ivnisky; Octavio Malherbe (WoLLIC, 2024)

Parallel and algebraic lambda-calculi in intuitionistic propositional logic. - Alejandro Díaz-Caro; Octavio Malherbe (CoRR, 2024)

A concrete model for a typed linear algebraic lambda calculus. - Alejandro Díaz-Caro; Octavio Malherbe (Math. Struct. Comput. Sci., 2024)

An Algebraic Extension of Intuitionistic Linear Logic: The L!S-Calculus and Its Categorical Model. - Alejandro Díaz-Caro; Malena Ivnisky; Octavio Malherbe (CoRR, 2025)