Geodesic
A ...-calculus with an algorithmic ... .
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 41-52.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : lambda calculus, discriminators 
@article{AMLG_1980__20_137959,
     author = {G. Longo and M. Venturini Zilli},
     title = {A ...-calculus with an algorithmic ... .},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {41--52},
     publisher = {mathdoc},
     volume = {20},
     year = {1980},
     zbl = {0432.03011},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137959/}
}
TY  - JOUR
AU  - G. Longo
AU  - M. Venturini Zilli
TI  - A ...-calculus with an algorithmic ... .
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1980
SP  - 41
EP  - 52
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137959/
ID  - AMLG_1980__20_137959
ER  - 
%0 Journal Article
%A G. Longo
%A M. Venturini Zilli
%T A ...-calculus with an algorithmic ... .
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 41-52
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137959/
%F AMLG_1980__20_137959
G. Longo; M. Venturini Zilli. A ...-calculus with an algorithmic ... .. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 41-52. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137959/