Implementing the Goodstein Function in λ-Calculus

MaRDI QIDQ7361484FDO

Authors Bertram Felgenhauer

Publication date 21 February 2020

Cites work

• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• Binary lambda calculus and combinatory logic
• On the restricted ordinal theorem

This page was built for software: Implementing the Goodstein Function in λ-Calculus