An edition of Categories for types (1993)
By Roy L. Crole
Publish Date
1993
Publisher
Cambridge University Press
Language
eng
Pages
335
Description:
subjects: Lambda calculus, Categories (Mathematics), Typology (linguistics), Set theory