Communication Dans Un Congrès
Année : 2005
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527871
Soumis le : mercredi 20 octobre 2010-15:14:53
Dernière modification le : vendredi 24 mars 2023-14:52:53
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⟩
Collections
202
Consultations
0
Téléchargements