💾 Archived View for dcreager.net › papers › Kashima2000.gmi captured on 2024-05-10 at 10:57:03. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Ryo Kashima. “A Proof of the Standardization Theorem in λ-Calculus”. Tokyo Institute of Technology.
We present a new proof of the standardization theorem in λ-calculus, which is performed by inductions based on an inductive definition of β-reducibility with a standard sequence.