Extensional constructs in intensional type theory /

Bibliographic Details
Main Author: Hofmann, Martin, 1965-
Format: Book
Language:English
Published: London ; New York : Springer, [1997]
Series:CPHC/BCS distinguished dissertations.
Subjects:

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.9.A96 H64 1997
 
Call Number Status Get It
QA76.9.A96 H64 1997 Available