Fundraising September 15, 2024 – October 1, 2024 About fundraising

Combinatory logic

Main
Mathematics
Combinatory logic

Combinatory logic

Curry H.B., Hindley J.R., Seldin J.P

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Volume:

Vol. 2

Year:

1972

Publisher:

North-Holland Pub. Co

Language:

english

Pages:

529

ISBN 10:

0720422086

ISBN 13:

9780720422085

Series:

Studies in logic and the foundations of mathematics

File:

DJVU, 3.38 MB

IPFS:

,

english, 1972

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. — Combinatory logic. / Volume II

Haskell B. Curry, Robert Feys, William Craig — Combinatory Logic: Volume I

— Combinatory logic. Vol. 1.

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

J. Barkley Rosser — Logic for Mathematicians

Barendregt H., Barendsen E. — Introduction to Lambda Calculus (Введение в лямбда-исчисление)

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Rhys Price Jones, Fritz Ruehr, Richard Salter — Combinators and Graph Reduction (in Scheme)

Barendregt H., Barendsen E. — Introduction to Lambda calculus

Paulson L.C. — Foundations of functional programming

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors) — Selected Papers on Automath

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Hendrik Pieter Barendregt — The Lambda calculus: its syntax and semantics

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.) — Selected papers on automath

Antoni Diller — Compiling Functional Languages

Haskell B. Curry — Foundations of mathematical logic

Révész, György E — Lambda-calculus, combinators and functional programming

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Terese, eds.:, Marc Bezem, Jan Willem Klop, Roel de Vrijer — Term Rewriting Systems

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Katalin Bimbó — Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó — Combinatory Logic. Pure, Applied and Typed

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.) — Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Claude Kirchner (eds.) — Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.) — Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Most frequently terms