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

The calculi of lambda-conversion

Main
Mathematics - Logic
The calculi of lambda-conversion

The calculi of lambda-conversion

Church, Alonzo

5.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:

Mathematics - Logic

Year:

1941

Publisher:

Princeton University Press

Language:

english

Pages:

92

Series:

Annals of mathematical studies 6

File:

PDF, 6.56 MB

IPFS:

,

english, 1941

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Church Alonzo — Intensional Semantics The Need for Abstract Entities]

Michael Spivak — Physics For Mathematicians

Church, Alonzo — The calculi of lambda-conversion

Alonzo Church — Introduction to Mathematical Logic

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

Bertrand Russell, Robert C. Marsh (editor) — Logic and Knowledge - Essays 1901-1950

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

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Stoy J.E. — Denotational semantics: The Scott-Strachey approach to programming language theory

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

J. Roger Hindley — Basic Simple Type Theory

Roberto M. Amadio, Pierre-Louis Curien — Domains and Lambda-Calculi

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

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

Alonzo Church — Introduction to Mathematical Logic

Alonzo Church — Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series (Pt.1)

Haskell Brooks Curry — Combinatory Logic.

Stanley N. Burris — Number Theoretic Density and Logical Limit Laws

Peter Apostoli (auth.), C. Anthony Anderson, Michael Zelëny (eds.) — Logic, Meaning and Computation: Essays in Memory of Alonzo Church

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

Andreas C. Müller, Sarah Guido — Introduction to Machine Learning with Python: A Guide for Data Scientists

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

Stephen Cole Kleene, Richard Eugène Vesley — The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Wolfram Pohlers (author), Thomas Glaß (editor) — An introduction to mathematical logic

Ushenko, A P — Consistency and the Decision-Problem

Ershov Yu. L., Palyutin E. A. — Mathematical logic

Robert Feys, Frederic B. Fitch — Dictionary of Symbols of Mathematical Logic

Ershov Yu.L., Palyutin E.A. — Mathematical logic

Joel W. Robbin — Mathematical Logic: A First Course

S.C. Kleene — Introduction to Metamathematics

Alan Turing — Systems of Logic Based on Ordinals

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

R. O. Gadny and C. E. M. Yates — Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

Andrew W. Appel — Alan Turing's Systems of Logic: The Princeton Thesis

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

Van Tijn, David E — An interpretation for free variables

Rene Lalement, John Plaice — Computation as logic

David Berlinski — The Advent of the Algorithm: The Idea that Rules the World

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

René Cori, Daniel Lascar, Donald Pelletier — Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Most frequently terms