Search Results

1 - 2 of 2 results for "Hindley, J. Roger"

An introduction to type theory for computer scientists.

US$53.99

This book gives an account of combinatory logic and lambda-calculus models.