Quang Tùng
Results
1
issues of
Quang Tùng
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.