Basic simple type theory
By: J. Roger Hindley.
Series: Cambridge tracts in theoretical computer science ;; 42
Publisher: Cambridge University Press
Published: 1997
Place of publication: Cambridge, U.K; New York, NY, USA
Language: eng
Number of pages: 186
Subjects: Programming languages (Electronic computers); Type theory.
Notes: Includes bibliographical references (p. 169-176) and index.