Octavio Malherbe

activity

20112025

most citedPresheaf models of quantum computation: an outline

19 citations · 74 across the 16 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

cs.LO2025

Basis-Sensitive Quantum Typing via Realisability

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

We present $λ_{B}$ , a quantum-control $λ$ -calculus that refines previous basis-sensitive systems by allowing abstractions to be expressed with respect to arbitrary -- possibly entang…

cs.LO2025

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

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

We introduce the $L_{!}^{S}$ -calculus, a linear lambda-calculus extended with scalar multiplication and term addition, that acts as a proof language for intuitionistic linear logic (IL…

Basis-Sensitive Quantum Typing via Realisability

An Algebraic Extension of Intuitionistic Linear Logic: The L!S​-Calculus and Its Categorical Model

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