Tags

Direct Models of the Computational Lambda-calculus

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-10-05 Mon 12:18

Emacs 31.1 (Org mode 9.8.7)

Validate