Cover of Categories for types

An edition of Categories for types (1993)

Categories for types

By Roy L. Crole

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

1 Want to read0 Currently reading0 Have read

Publish Date

1993

Publisher

Cambridge University Press

Language

eng

Pages

335

Description:

subjects: Lambda calculus, Categories (Mathematics), Typology (linguistics), Set theory