domain-calculi.pdf

《domain-calculi.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、DomainsandLambda-CalculiRobertoM.AmadioPierre-LouisCurienLIM,MarseilleLIENS,ParisNovember21,1996ContentsPreface5Notation111ContinuityandComputability131.1DirectedCompletenessandAlgebraicity::::::::::::::::::141.2Dcpo'sasTopologicalSpaces::::::::::::::::::::::::201.3C

2、omputabilityandContinuity::::::::::::::::::::::::221.4ConstructionsonDcpo's:::::::::::::::::::::::::::231.5ToyDenotationalSemantics:::::::::::::::::::::::::291.6ContinuationSemantics*::::::::::::::::::::::::::322SyntacticTheoryofthe-calculus352.1Untyped-Calculus:::

3、::::::::::::::::::::::::::362.2TheLabelled-Calculus:::::::::::::::::::::::::::432.3SyntacticContinuity*::::::::::::::::::::::::::::512.4TheSyntacticSequentialityTheorem*:::::::::::::::::::543DModelsandIntersectionTypes5713.1DModels::::::::::::::::::::::::::::::::::5

4、713.2PropertiesofDModels::::::::::::::::::::::::::6313.3FilterModels:::::::::::::::::::::::::::::::::683.4SomeDModelsasFilterModels:::::::::::::::::::::7513.5MoreonIntersectionTypes*::::::::::::::::::::::::794Interpretationof-CalculiinCCC's874.1SimplyTyped-Calculus

5、::::::::::::::::::::::::::884.2CartesianClosedCategories:::::::::::::::::::::::::924.3Interpretationof-Calculi::::::::::::::::::::::::::964.4FromCCC'sto-Theoriesandback::::::::::::::::::::994.5LogicalRelations:::::::::::::::::::::::::::::::1034.6Interpretationofthe

6、Untyped-Calculus:::::::::::::::::1185CCC'sofAlgebraicDcpo's1235.1ContinuousDcpo's::::::::::::::::::::::::::::::1235.2BiniteDomainsandL-Domains::::::::::::::::::::::12712CONTENTS5.3FullSub-CCC'sofAcpo*:::::::::::::::::::::::::1345.4FullSub-CCC'sofAdcpo*:::::::::::::

7、::::::::::::1395.5CompletenessofWell-OrderedLub's*:::::::::::::::::::1416TheLanguagePCF1456.1TheY-Calculus:::::::::::::::::::::::::::::::1456.2FixpointInduction::::::::::::::::::::::::::::::1476.3TheProgrammingLanguagePcf::::::::::::::::::::::1496.4TheFullAbstractio

8、nProblemforPcf:::::::::::::::::::1536.5TowardsSequentiality::::::::::::::::::::::::::::1637DomainEquations1677.1DomainEquations::::