Separation with streams in the $\Lambda\mu$-calculus - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Alexis Saurin. Separation with streams in the $\Lambda\mu$-calculus. 20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. pp.356-365, ⟨10.1109/LICS.2005.48⟩. ⟨hal-00527871⟩
202 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More