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:	Automatic theorem proving. Functional programming (Computer science) Type theory.