Communication Dans Un Congrès
Année : 2010
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527926
Soumis le : mercredi 20 octobre 2010-16:02:51
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Alexis Saurin. Standardization and Böhm Trees for $\Lambda\mu$-Calculus. Tenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. pp.134-149, ⟨10.1007/978-3-642-12251-4_11⟩. ⟨hal-00527926⟩
Collections
159
Consultations
0
Téléchargements