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
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