Basic simple type theory /

Bibliographic Details
Main Author: Hindley, James Roger, 1939-
Format: Book
Language:English
Published: Cambridge, UK : Cambridge University, 1997.
Series:Cambridge tracts in theoretical computer science ; 42
Subjects: