• Church, A., 1936, "An Unsolvable Problem of Elementary Number Theory", American Journal of Mathematics, 58, 345-363. • Church, A., 1936, "A Note on the Entscheidungsproblem", Journal of Symbolic Logic, 1, 40-41. • Church, A., 1941, The Calculi of Lambda-Conversion, Prin...
A. Church The Calculi of Lambda Conversion Annals of Math. Studies, 6, Am. Math. Soc, Princeton, N.J (1941) Google Scholar [3] H.B. Curry, R. Feys Combinatory Logic, Vol. 1, North-Holland, Amsterdam (1958) [4] M. Hyland Proc. of the Rome conference (1975) to appear in the...
—Anton Chekhov, as quoted by James Joyce in Arthur Power's From the Old Waterford House (1949) There may indeed be other applications of the system than its use as a logic. —Alonzo Church, The Calculi of Lambda-Conversion (1932) LATEX draft: 2012-04-26 ○3 Copyright © 2012 Nick ...
Lambda-calculusExplicit substitutionTerm rewriting systemEta-conversionSome new calculi [1, 12, 8], referred to by the collective name of λσ -calculus, have been recently introduced to provide an explicit treatment of substitutions in the λ -calculus. They are term rewriting systems, with two...
[3]A.AspertiandS.Guerrini.TheOptimalImplementationofFunctionalProgrammingLanguages.CambridgeUniversityPress,1998.[4]H.P.Barendregt.TheLambdaCalculus:ItsSyntaxandSemantics,vol-ume103ofStudiesinLogicandtheFoundationsofMathematics.North-Holland,1984.[5]S.BaroandF.Maurel.Theqνandqνkcalculi:namecaptureand...
In print, the notation first appeared before public in Nova methodus pro maximis et minimis, itemque tangentibus, qua nee fractas, nee irrationales quantitates moratur, & singulare pro illis calculi genus in Acta Eruditorum (Pages 467-473) in 1684. There is also an upside down ± symbol ...
L-domains as locally continuous sequent calculi Archive for Mathematical Logic23 January 2024 Prenex normalization and the hierarchical classification of formulas Archive for Mathematical Logic23 December 2023 Weak essentially undecidable theories of concatenation, part II ...
This paper considers how locality restrictions on the use of capabilities can be enforced by a static type system. A distributed -calculus with a simple re... P Sewell - 《Lecture Notes in Computer Science》 被引量: 247发表: 1998年 Algebraic Theories for Name-Passing Calculi In a theory of...
The original presentation of LJT is found in: R. Dyckhoff,Contraction-Free Sequent Calculi for Intuitionistic Logic, The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), pp. 795-807. For a good overview of approaches to IPL theorem proving, see these talk slides: ...
π-Calculus, internal mobility, and agent-passing calculi internal mobility is responsible for much of the expressiveness of the π-calculus, whereas external mobility is responsible for many of the semantic ... Davide,Sangiorgi - 《Theoretical Computer Science》 被引量: 353发表: 1996年 Using the...