TL;DR
This paper revisits MacLane's thesis on proof theory, analyzing it through the lens of combinatory logic to shed new light on foundational aspects of proofs.
Contribution
It offers a novel perspective by connecting MacLane's proof theory with combinatory logic, highlighting overlooked theoretical insights.
Findings
New interpretation of MacLane's proof theory
Connections between proof theory and combinatory logic
Potential implications for foundational logic
Abstract
Looking at MacLane's thesis on proof theory in the light of combinatory logic
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.