Typed lambda calculi and applications

: proceedings / Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997. Philippe de Groote ; J. Roger Hindley (ed.). - Berlin : Springer, 1997. - VIII, 404 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1210)

ISBN 978-3-540-62688-6 / 3-540-62688-3 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Typed lambda calculi and applications

: 4th international conference ; proceedings / TLCA '99, L'Aquila, Italy, April 1999. Jean-Yves Girard (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1581)

ISBN 978-3-540-48959-7

Lizenzpflichtig

Quelle: DNB

Typed lambda calculi and applications

: 5th international conference ; proceedings / TLCA 2001, Kraków, Poland, May 2 - 5, 2001. S. Abramsky (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2044)

ISBN 978-3-540-45413-7

Lizenzpflichtig

Quelle: DNB

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

Types in compilation

: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)

ISBN 978-3-540-68308-7

Lizenzpflichtig

Quelle: DNB