Title: Categories for types
First published: 1993
Subjects: Lambda calculus, Categories (Mathematics), Typology (linguistics), Set theory
LC classification: QA169 .C685 1993