1. Basic simple type theory

by Hindley, J. Roger.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
2. Lambda calculus and combinators : an introduction

by Hindley, J. Roger | Seldin, J. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.35 HIN] (1).

Powered by Koha