Tags

Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-07-24 Fri 09:07

Emacs 30.2 (Org mode 9.7.11)