[go: up one dir, main page]
Communication Dans Un Congrès Année : 2019
Realizability in the Unitary Sphere
Alejandro Díaz-Caro (1, 2, 3) , Mauricio Guillermo (4) , Alexandre Miquel (4) , Benoît Valiron (5, 6)
1 UNQ - Universidad Nacional de Quilmes (Roque Sáenz Peña 352, B1876BXD Bernal, Buenos Aires - Argentine)
"> UNQ - Universidad Nacional de Quilmes
2 UBA - Universidad de Buenos Aires [Buenos Aires] (Viamonte 430/44 C1053ABJ, Ciudad de Buenos Aires - Argentine)
"> UBA - Universidad de Buenos Aires [Buenos Aires]
3 CONICET - Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] (Avda. Rivadavia 1917 - CP C1033AAJ - Cdad. de Buenos Aires - Argentine)
"> CONICET - Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
4 IMERL - Instituto de Matemática y Estadística Rafael Laguardia [Montevideo] (Facultad de Ingeniería, Universidad de la República, Julio Herrera y Reissig 565 CP11300. MONTEVIDEO, Uruguay. - Uruguay)
"> IMERL - Instituto de Matemática y Estadística Rafael Laguardia [Montevideo]
5 CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) "> CentraleSupélec
6 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI) (Université Paris Sud Bat. 650 - Lovelace 91405 Orsay Cedex - France) "> VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)

Résumé

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.

Domaines

Logique en informatique [cs.LO] Informatique et langage [cs.CL] Physique Quantique [quant-ph]
Fichier principal
Vignette du fichier
paper.pdf (471) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Benoît Valiron  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02175168

Soumis le : vendredi 5 juillet 2019-15:17:41

Dernière modification le : mercredi 8 janvier 2025-14:54:03

Télécharger pour visualiser

Dates et versions

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

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-VALS UNIV-PARIS-SACLAY ANR
102 Consultations
104 Téléchargements

Altmetric

Partager

More