Type Theory and Formal Proof: An Introduction #9
Description
I think this book is very good for learning Type Theory, includes Untyped Lambda Calculus, many systems of the Lambda Cube and extended with Definitions.
{{ message }}
I think this book is very good for learning Type Theory, includes Untyped Lambda Calculus, many systems of the Lambda Cube and extended with Definitions.