Overview

The lambda calculus was developed in the 1930s by AlonzoChurch. The calculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming languages. Operational anddenotational semantics for the calculus served as examplesfor otherprogramming languages. In typed lambda calculi, lambda terms are classifiedaccording to their applicative behavior. In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical propositions. Thus there are twopossible views of typed lambda calculi:- as models of computation, where terms are viewed asprograms in a typed programming language;- as logical theories, where the types are viewed aspropositions and the terms as proofs. The practical spin-off from these studies are:- functional programming languages which aremathematically more succinct than imperative programs;- systems for automated proof checking based on lambdacaluli. This volume is the proceedings of TLCA '93, the firstinternational conference on Typed Lambda Calculi andApplications,organized by the Department of Philosophy ofUtrecht University. It includes29 papers selected from 51submissions.

Full Product Details

Author:   Marc Bezem ,  Jan F. Groote
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1993 ed.
Volume:   664
Dimensions:   Width: 15.60cm , Height: 2.30cm , Length: 23.40cm
Weight:   1.400kg
ISBN:  

9783540565178

ISBN 10:   3540565175
Pages:   443
Publication Date:   03 March 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions