Typed Lambda Calculi and Applications Image close
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Show Hide Adult Content
Typed Lambda Calculi and Applications close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Typed Lambda Calculi and Applications

International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
RRP:
$196.95 save $57.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-18 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Brain Inspired Cognitive Systems
$179.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Automata, Languages and Programming
$189.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
CSL'88 Save $45
$150.99
$196.95
CSL'88
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$204.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$146.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric Science of Information
$238.99
Geometric Science of Information
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Database Technology - EDBT '88
$163.99
Advances in Database Technology - EDBT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '88 Save $59
$136.99
$196.95
ICDT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Conditional Term Rewriting Systems Save $23
$134.99
$158.95
Conditional Term Rewriting Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Diffusion MRI
$158.99
Computational Diffusion MRI
Paperback / softback
Available - Usually ships in 3-4 weeks
Optimization and Applications
$181.99
Optimization and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Business Process Management
$193.99
Business Process Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$170.99
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
March 3rd, 1993
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Jan F. Groote
  • Edited by Marc Bezem
Illustrations
IX, 443 p.
Pages
443
Dimensions
156x234x23
ISBN-13
9783540565178
Product ID
2834002

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation