Suchfeld einblenden
Person Bezem, Marc
1 Treffer
Seite < 1 >
Typed lambda calculi and applications
: proceedings / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16 - 18, 1993, Utrecht, The Netherlands. M. Bezem ; J. F. Groote (ed.). - Berlin : Springer, 1993. - VIII, 432 S.; 24 cm - (Lecture notes in computer science; Vol. 664)
ISBN 978-3-540-56517-8 / 3-540-56517-5 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Seite < 1 >
