Eine Studie über das Substitutionslemma im Lambda-Kalkül mit expliziten Substitutionen.
― 9 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Eine Studie über das Substitutionslemma im Lambda-Kalkül mit expliziten Substitutionen.
― 9 min Lesedauer