Tags

A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part I

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-05-18 Mon 17:22

Emacs 30.2 (Org mode 9.7.11)

Validate