Hofmann, Martin
:
Syntax and semantics of dependent types.
In:
Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130.
Univ. Press, Cambridge
[Buchkapitel], (1997)
| Typ des Eintrags: | Buchkapitel |
|---|---|
| Erschienen: | 1997 |
| Autor(en): | Hofmann, Martin |
| Titel: | Syntax and semantics of dependent types |
| Sprache: | Englisch |
| Buchtitel: | Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130 |
| Ort: | Cambridge |
| Verlag: | Univ. Press |
| Edition: | Cambridge: Univ. Press, 1997 |
| Fachbereich(e)/-gebiet(e): | Fachbereich Mathematik |
| Hinterlegungsdatum: | 19 Nov 2008 16:03 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum