Suchfeld einblenden
Schlagwort Martin-Löf-Typentheorie
1 Treffer
Seite < 1 >
Hofmann, Martin: Extensional constructs in intensional type theory
/ Martin Hofmann. - London : Springer, 1997. - XII, 214 S. : graph. Darst.; 24 cm - (CPHC/BCS distinguished dissertations)
ISBN 978-3-540-76121-1 / 3-540-76121-7 Pp. : DM 108.00
Literaturverz. S. 207 - 211
Quelle: DNB
Seite < 1 >
