To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
- ISBN-10
- 0123490502
- ISBN-13
- 9780123490506
- Category
- Logic, Symbolic and mathematical
- Pages
- 606
- Language
- English
- Published
- 1980-01
- Authors
- J. Roger Hindley, J. P. Seldin
Get the book
Similar books
-
Logic from Russell to Church
By Dov M. Gabbay, John Woodscept of a single beingless object of the Meinongian extraontology in which all other beingless objects are properly implected. The maximally impossible object is the round square taken to its absolute predicational limit.
-
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The...
By Marc Bezem, Jan F. GrooteIn J.P. Seldin and J.R. Hindley , editors , to H. B. Curry : Essays on Combinatory Logic , Lambda Calculus and Formalism , pages 579-606 . Academic Press , 1980 . [ 7 ] Ph . de Groote . Définition et Propriétés d'un métacalcul de ...
-
Perspectives on the History of Mathematical Logic
By Thomas DruckerCurry, H.B." (1930), Grundlagen de kombinatorischen Logik (Inauguraldissertation), Amer. J. Math. 52, 509–536, 789–834. Curry, H.B. (1934a), Some properties of equality and implication in combinatory logic, Ann. of Math. (2) 35,849–860.
-
Handbook of Philosophical Logic
By Dov M. Gabbay, Franz GuenthnerExtracting programs from proofs by an extension of the Curry-Howard process. In Logical Methods, J. N. Crossley, J. B. Remmel, R. A. Shore and M. E. Sweedler, eds. pp. 222–288. Birkhäuser, Boston, 1993. |Curry, 1930] H. B. Curry.
-
The Calculi of Lambda Conversion. (AM-6), Volume 6
By Alonzo ChurchH. B. Curry, An analysis of logical substitution, American journal of mathematics, vol. 51 (1929 )* pp. 363 - 384. 18. H. B. Curry, Grundlagen der komblnatorlschen Loglk, ibid., vol. 52 (1930), pp. 509 - 536, 789 - 834. 19* H. B. Curry ...
-
The Calculi of Lambda-conversion
By Alonzo ChurchH. B. Curry , An analysis of logical substitution , American journal of mathematics , vol . 51 ( 1929 ) , pp . 363 - 384 . 18. H. B. Curry , Grundlagen der kombinatorischen Logik , ibid . , vol . 52 ( 1930 ) , pp .
-
Design of Master Agreements for OTC Derivatives
By Dietmar Franzen595 : M. Levene , The Nested Universal Relation Database Model . X , 177 pages . 1992 . Vol . 596 : L.-H. Eriksson , L. Hallnäs , P. Schroeder - Heister ( Eds . ) , Extensions of Logic Programming . Proceedings , 1991. VII , 369 pages .
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
By Alexander Leitsch, Odel, Kurt G.Markov's rule has the following form in this case : ( ** ) Vr Ew ( A ( x , y ) V - A ( x , y ) ) , -VIEW A ( x , y ) 3.x EWA ( x , y ) THEOREM 3. The rule ( ** ) is admissible in ZFI + DCS To prove this we use a double formula ...
-
CAAP '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
By E. Astesiano, C. Böhm[ 9 ] H.B. Curry , R. Feys , W. Craig , Combinatory logic , vol . I , North Holland , Amsterdam , ( 1968 ) . [ 10 ] H.B. Curry , J.R. Hindley , S.P. Seldin , Combinatory logic , vol . II , North Holland , Amsterdam , ( 1972 ) .
-
CAAP '83: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
By G. Ausiello, M. ProtasiA. Church , The Calculi of Lambda Conversion ( Princeton University Press , 1941 ) . H.B. Curry , R. Feys , Combinatory Logic , vol . I ( North - Holland , Amsterdam 1958 ) . H.B. Curry , J.R. Hindley , J.P. Seldin , Combinatory Logic ...