Publications HAL de amadio ; régis-gianas du projet européen CERCO

2011

Communication dans un congrès

titre
An Elementary Affine λ-Calculus with Multithreading and Side Effects
auteur
Antoine Madet, Roberto M. Amadio
article
Typed Lambda Calculi and Applications 10th International Conference, Jun 2011, Novi Sad, Serbia. pp.138-152, ⟨10.1007/978-3-642-21691-6_13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00610012/file/ealregpar.pdf BibTex

Rapport

titre
An Elementary affine λ-calculus with multithreading and side effects (extended version)
auteur
Antoine Madet, Roberto M. Amadio
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00569095/file/rapport.pdf BibTex