Typing streams in the $\Lambda\mu$-calculus

Alexis Saurin

doi:10.1145/1805950.1805958

Article Dans Une Revue ACM Transactions on Computational Logic Année : 2010

Typing streams in the $\Lambda\mu$-calculus

(1, 2)

1
2

Alexis Saurin

Fonction : Auteur
PersonId : 16833
IdHAL : alexis-saurin
IdRef : 233760210

Preuves, Programmes et Systèmes

Design, study and implementation of languages for proofs and programs

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

Alexis Saurin : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527835

Soumis le : mercredi 20 octobre 2010-14:20:43

Dernière modification le : vendredi 24 mars 2023-14:52:53

Dates et versions

hal-00527835 , version 1 (20-10-2010)

Identifiants

HAL Id : hal-00527835 , version 1
DOI : 10.1145/1805950.1805958

Citer

Alexis Saurin. Typing streams in the $\Lambda\mu$-calculus. ACM Transactions on Computational Logic, 2010, 11 (4), pp.28-61. ⟨10.1145/1805950.1805958⟩. ⟨hal-00527835⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA INRIA2

74 Consultations

0 Téléchargements

Typing streams in the $\Lambda\mu$-calculus

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager