Did Not Finish Shelf

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 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

order by

Yago
Yago is on page 30 of 621
— Dec 29, 2023 03:00AM Add a comment
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition

Yan Couto
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
The Lambda Calculus: Its Syntax and Semantics












Fernando
Fernando is on page 22 of 656
— Apr 14, 2016 11:10PM Add a comment
The Lambda Calculus: Its Syntax and Semantics

Fernando
Fernando is on page 6 of 656
— Apr 12, 2016 12:26PM Add a comment
The Lambda Calculus: Its Syntax and Semantics


Nick Black
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
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition