Suchfeld einblenden
Person Girard, Jean-Yves
1 Treffer
Seite < 1 >
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
Seite < 1 >
