TU Darmstadt / ULB / TUbiblio

Syntax and semantics of dependent types

Hofmann, Martin (1997):
Syntax and semantics of dependent types.
In: Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130, Cambridge: Univ. Press, 1997,
Cambridge, Univ. Press, [Book Section]

Item Type: Book Section
Erschienen: 1997
Creators: Hofmann, Martin
Title: Syntax and semantics of dependent types
Language: English
Title of Book: Semantics and logics of computation. Hrsg.: A. M. Pitts (u.a.) S. 79-130
Place of Publication: Cambridge
Publisher: Univ. Press
Edition: Cambridge: Univ. Press, 1997
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:03
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