Realizability in the Unitary Sphere - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Realizability in the Unitary Sphere


In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of typing rules for a simply-typed linear algebraic lambda-calculus, and show how it extends both to classical and quantum lambda-calculi.
Fichier principal
Vignette du fichier
paper.pdf (471.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02175168 , version 1 (05-07-2019)



Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron. Realizability in the Unitary Sphere. 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada. ⟨hal-02175168⟩
86 View
70 Download



Gmail Facebook X LinkedIn More