Typed lambda calculi and applications
: 8th international conference ; proceedings / TLCA 2007, Paris, France, June 26 - 28, 2007. Simona Ronchi Della Rocca (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4583)
ISBN 978-3-540-73228-0
Lizenzpflichtig
Quelle: DNB
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
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
Types for proofs and programs
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / P. Callaghan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2277)
ISBN 978-3-540-45842-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers / Marino Miculan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4941)
ISBN 978-3-540-68103-8
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (ed.) - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3839)
ISBN 978-3-540-31429-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: selected papers / International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Henk Barendregt ; Tobias Nipkow (ed.). - Berlin : Springer, 1994. - 383 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 806)
ISBN 978-3-540-58085-0 / 3-540-58085-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: selected papers ; international Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 / [International Workshop TYPES '95]. Stefano Berardi ... (ed.). - Berlin : Springer, 1996. - X, 296 S.; 24 cm - (Lecture notes in computer science; Vol. 1158)
ISBN 978-3-540-61780-8 / 3-540-61780-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
