Combinators, λ-Terms and Proof Theory

Combinators, λ-Terms and Proof Theory
Author :
Publisher : Springer Science & Business Media
Total Pages : 186
Release :
ISBN-10 : 9789401029131
ISBN-13 : 940102913X
Rating : 4/5 (31 Downloads)

Book Synopsis Combinators, λ-Terms and Proof Theory by : S. Stenlund

Download or read book Combinators, λ-Terms and Proof Theory written by S. Stenlund and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen tation in my notes is inaccurate in several respects. I would like to express my gratitude to Stig Kanger for his invalu able advice and encouragement and also for his assistance in a wide variety of matters concerned with my study in Uppsala. I am also in debted to Per Martin-USf for many valuable and instructive conversa tions. As will be seen in chapter 4 and 5, I also owe much to the work of Dag Prawitz and W. W. Tait. My thanks also to Craig McKay who read the manuscript and made valuable suggestions. I want, however, to emphasize that the shortcomings that no doubt can be found, are my sole responsibility. Uppsala, February 1972.


Combinators, λ-Terms and Proof Theory Related Books

Combinators
Language: en
Pages: 0
Authors: Stephen Wolfram
Categories: Computers
Type: BOOK - Published: 2021 - Publisher: Wolfram Media

DOWNLOAD EBOOK

"Combinators have inspired ideas about computation ever since they were first invented in 1920, and in this innovative book, Stephen Wolfram provides a modern v
Combinators, λ-Terms and Proof Theory
Language: en
Pages: 186
Authors: S. Stenlund
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and
A New Kind of Science
Language: en
Pages: 1197
Authors: Stephen Wolfram
Categories: Cellular automata
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

This work presents a series of dramatic discoveries never before made public. Starting from a collection of simple computer experiments---illustrated in the boo
An Architecture for Combinator Graph Reduction
Language: en
Pages: 172
Authors: Philip John Koopman
Categories: Computers
Type: BOOK - Published: 2014-05-12 - Publisher: Elsevier

DOWNLOAD EBOOK

An Architecture for Combinator Graph Reduction examines existing methods of evaluating lazy functional programs using combinator reduction techniques, implement
Lambda-Calculus and Combinators
Language: en
Pages: 358
Authors: J. Roger Hindley
Categories: Computers
Type: BOOK - Published: 2008-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.