programming languages and lambda calculi外语英文电子书

《programming languages and lambda calculi外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、ProgrammingLanguagesandLambdaCalculi(Summer2006Version)MatthiasFelleisenMatthewFlattDraft:May26,2006Copyrightc1989,2003Felleisen,Flatt2ContentsIModelsofLanguages7Chapter1:ComputingwithText91.1DefiningSets......................................91.2Relations........................................101.3

2、RelationsasEvaluation................................111.4DirectedEvaluation..................................111.5EvaluationinContext.................................121.6EvaluationFunction..................................131.7NotationSummary...................................13Chapter2:Consisten

3、cyofEvaluation15Chapter3:Theλ-Calculus193.1Functionsintheλ-Calculus..............................193.2λ-CalculusGrammarandReductions.........................203.3EncodingBooleans...................................223.4EncodingPairs.....................................233.5EncodingNumbers...........

4、........................243.6Recursion........................................253.6.1RecursionviaSelf-Application........................263.6.2LiftingOutSelf-Application..........................273.6.3FixedPointsandtheYCombinator.....................283.7FactsAbouttheλ-Calculus...................

5、...........293.8History.........................................31IIModelsofRealisticLanguages33Chapter4:ISWIM354.1ISWIMExpressions..................................354.2ISWIMReductions...................................364.3TheYvCombinator..................................374.4Evaluation..........

6、..............................394.5Consistency.......................................394.6ObservationalEquivalence...............................434.7History.........................................45Chapter5:StandardReduction475.1StandardReductions..................................475.2ProvingtheS

7、tandardReductionTheorem......................505.3ObservationalEquivalence...............................57345.4UniformEvaluation..................................60Chapter6:Machines636.1CCMachine..........