TY  - CHAP
AU  - Tangora, Martin C.
TI  - Computing with the lambda algebra
BT  - Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
AU  - Collectif
ED  - Hayat-Legrand Claude
ED  - Sergeraert Francis
T3  - Astérisque
PY  - 1990
SP  - 79
EP  - 89
IS  - 192
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1990__192__79_0/
LA  - en
ID  - AST_1990__192__79_0
ER  -