A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part I
Author: Nicholas Coltharp
Created: 2026-04-16 Thu 00:01
Validate