Typed lambda calculi and applications
Livre Ecrit par: Groote, J. F. (1965-) ; Bezem, M. (1956-) ; International Conference on Typed Lambda Calculi and Applications (Utrecht, Netherlands ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
viii, 432 p.
;23 cm
ISBN: 0387565175
Index décimal
621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème
Informatique
Mots clés:
Lambda-calcul
