💾 Archived View for dcreager.net › papers › Kashima2000.gmi captured on 2024-08-25 at 00:28:24. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-05-10)
-=-=-=-=-=-=-
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.