Lambda-Calculus and Combinators

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

Weitere Produkte vom selben Autor

Basic Simple Type Theory Hindley, J. Roger

52,50 €*
Basic Simple Type Theory Hindley, J. Roger, Hindley, Roger J.

131,00 €*