Skip to main content
SpringerLink
Log in
Book cover

Combinators, λ-Terms and Proof Theory

  • Book
  • © 1972
Download book PDF
Download book EPUB

Overview

Authors:
  1. Sören Stenlund
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 42)

Buy print copy

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (5 chapters)

  1. Front Matter

    Pages 1-9
    Download chapter PDF

  2. The Theory of Combinators and the λ-Calculus

    • Sören Stenlund
    Pages 11-72
    Download chapter PDF

  3. The Church-Rosser Property

    • Sören Stenlund
    Pages 73-90
    Download chapter PDF

  4. Combinatory Arithmetic

    • Sören Stenlund
    Pages 91-108
    Download chapter PDF

  5. Computable Functionals of Finite Type

    • Sören Stenlund
    Pages 109-142
    Download chapter PDF

  6. Proofs in the Theory of Species

    • Sören Stenlund
    Pages 143-177
    Download chapter PDF

  7. Back Matter

    Pages 177-187
    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Combinators, λ-Terms and Proof Theory

  • Authors: Sören Stenlund

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-010-2913-1

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1972

  • Hardcover ISBN: 978-90-277-0305-7Published: 30 September 1972

  • Softcover ISBN: 978-94-010-2915-5Published: 12 October 2011

  • eBook ISBN: 978-94-010-2913-1Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: X, 177

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation