Basic simple type theory /

Bibliographic Details

Main Author:	Hindley, J. Roger
Format:	Book
Language:	English
Published:	Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1997.
Series:	Cambridge tracts in theoretical computer science ; 42.
Subjects:	Programming languages (Electronic computers) Type theory.