TU Darmstadt / ULB / TUbiblio

Extensional concepts in intensional type theory

Hofmann, Martin (1995):
Extensional concepts in intensional type theory.
Edinburgh: Univ., Dept. of Computer Science, 1995. XI,288 S.,
Edinburgh, Univ., Dept. of computer science, [Book]

Item Type: Book
Erschienen: 1995
Creators: Hofmann, Martin
Title: Extensional concepts in intensional type theory
Language: German
Place of Publication: Edinburgh
Publisher: Univ., Dept. of computer science
Edition: Edinburgh: Univ., Dept. of Computer Science, 1995. XI,288 S.
Collation: XI,288 S.
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:25
Additional Information:

Phil. Thesis v. 1995

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item