Suchfeld einblenden
Person Dezani-Ciancaglini, Mariangiola
1 Treffer
Seite < 1 >
Typed lambda calculi and applications
: proceedings / Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Mariangiola Dezani-Ciancaglini ; Gordon Plotkin (ed.). - Berlin : Springer, 1995. - VIII, 442 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 902)
ISBN 978-3-540-59048-4 / 3-540-59048-X kart. : DM 86.00
Literaturangaben
Quelle: DNB
Seite < 1 >
