Suchfeld einblenden
Person McCusker, Guy
1 Treffer
Seite < 1 >
McCusker, Guy: Games and full abstraction for a functional metalanguage with recursive types
/ Guy McCusker. - London : Springer, 1998. - XIII, 189 S. : graph. Darst.; 24 cm - (CPHC/BCS distinguished dissertations)
ISBN 978-3-540-76255-3 / 3-540-76255-8 Pp. : DM 139.00
Literaturverz. S. 175 - 184
Quelle: DNB
Seite < 1 >
