Lambda-Calculus with Director Strings

Ian Mackie 1 Maribel Fern{á}ndez François-Régis Sinot
1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Type de document :
Article dans une revue
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437
Liste complète des métadonnées
https://hal.inria.fr/inria-00133315
Contributeur : Ian Mackie <>
Soumis le : dimanche 25 février 2007 - 16:31:21
Dernière modification le : jeudi 10 mai 2018 - 02:06:57

Identifiants

  • HAL Id : inria-00133315, version 1

Collections

LIX | X-LIX | X | PARISTECH | X-DEP-INFO

Citation

Ian Mackie, Maribel Fern{á}ndez, François-Régis Sinot. Lambda-Calculus with Director Strings. Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437. 〈inria-00133315〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

56

Contact


archive-ouverte@inria.fr