formal systemmathematical logicTuring machineVariableAbstractionβ-reductioncurryingoperational definitionAlpha equivalenceBeta reductionη-conversionNormalformsPairsRecursionfixed poi...
0
Embed
Share
Upload