Octavio Malherbe

20 papers C 1Journal 16Unranked 3

Year	Rank	Type	Title / 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