Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1995 |
Autor(en): |
Hofmann, Martin |
Art des Eintrags: |
Bibliographie |
Titel: |
On the interpretation of type theory in locally cartesian closed categories |
Sprache: |
Englisch |
Publikationsjahr: |
1995 |
Ort: |
Berlin, Heidelberg (u.a.) |
Verlag: |
Springer |
Reihe: |
Workshop on Computer Science Logic: CSL <1994, Kazimierz, Poland>; Proceedings. S. 427-442 |
Band einer Reihe: |
933 |
Auflage: |
Berlin, Heidelberg (u.a.): Springer, 1995 |
Fachbereich(e)/-gebiet(e): |
04 Fachbereich Mathematik |
Hinterlegungsdatum: |
19 Nov 2008 15:57 |
Letzte Änderung: |
05 Mär 2013 08:31 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
![Redaktionelle Details anzeigen Redaktionelle Details anzeigen](/style/images/action_view.png) |
Redaktionelle Details anzeigen |