TU Darmstadt / ULB / TUbiblio

On the interpretation of type theory in locally cartesian closed categories

Hofmann, Martin :
On the interpretation of type theory in locally cartesian closed categories.
In: Workshop on Computer Science Logic: CSL <1994, Kazimierz, Poland>; Proceedings. S. 427-442 , 933 . Springer , Berlin, Heidelberg (u.a.)
[Conference or Workshop Item] , (1995) , Berlin, Heidelberg (u.a.): Springer, 1995

Item Type: Conference or Workshop Item
Erschienen: 1995
Creators: Hofmann, Martin
Title: On the interpretation of type theory in locally cartesian closed categories
Language: English
Series Name: Workshop on Computer Science Logic: CSL <1994, Kazimierz, Poland>; Proceedings. S. 427-442
Volume: 933
Place of Publication: Berlin, Heidelberg (u.a.)
Publisher: Springer
Edition: Berlin, Heidelberg (u.a.): Springer, 1995
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 15:57
Export:

Optionen (nur für Redakteure)

View Item View Item