Status Updates From The Lambda Calculus, Its Sy...
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by
Status Updates Showing 1-17 of 17
Yan Couto
is on page 142 of 656
Super cool and hard to grasp the recursiveness. I skipped a couple chapters to get to the part I liked the most, the book is very dense.
— Mar 06, 2021 06:22AM
Add a comment
Nick Black
is on page 68 of 621
just past Beta Reduction. This book is stupidly difficult. :/
— Mar 06, 2009 02:09PM
Add a comment





