Tags

A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-07-20 Mon 18:02

Emacs 30.2 (Org mode 9.7.11)