TU Darmstadt / ULB / TUbiblio

The groupoid interpretation of type theory

Hofmann, Martin ; Streicher, Thomas (1998)
The groupoid interpretation of type theory.
Conference or Workshop Item, Bibliographie

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

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