TU Darmstadt / ULB / TUbiblio

The groupoid interpretation of type theory

Hofmann, Martin and Streicher, Thomas (1998):
The groupoid interpretation of type theory.
In: Meeting Twenty-Five Years of Constructive Type Theory <1995, Venice>: Proceedings. Hrsg.: G. Sambin (u.a.), Oxford: Univ. Press, 1998,
Oxford, Univ. Press, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1998
Creators: Hofmann, Martin and Streicher, Thomas
Title: The groupoid interpretation of type theory
Language: English
Series Name: Meeting Twenty-Five Years of Constructive Type Theory <1995, Venice>: Proceedings. Hrsg.: G. Sambin (u.a.)
Place of Publication: Oxford
Publisher: Univ. Press
Edition: Oxford: Univ. Press, 1998
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:21
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details