Typed Lambda Calculi and Applications

Masahito Hasegawa, 2013
Ratings
BrandMore from Springer
Delivered between Thu, 12.6. and Sat, 14.6.
More than 10 items in stock at supplier

Product details

"Typed Lambda Calculi and Applications" is a comprehensive collection of research findings derived from the peer-reviewed contributions of the 11th International Conference on Typed Lambda Calculi and their Applications, TLCA 2013. This conference took place in June 2013 in Eindhoven, Netherlands, and was part of the 7th Federated Conference on topics such as Rewriting, Deduction, and Programming. This volume contains 15 revised full texts selected from 41 submitted papers. The contributions cover a wide range of current topics in the field of typed lambda calculi, including theoretical and methodological questions as well as practical applications in various contexts. The topics addressed range from proof theory and semantics to implementation, types, and programming, making the book a valuable resource for researchers and practitioners in this field.

Key specifications

topic
Technology & IT
Author
Masahito Hasegawa
Book cover
Paperback
Year
2013
Item number
55522546

General information

Publisher
Springer
Category
Reference books
Release date
4.3.2025

Book properties

topic
Technology & IT
Author
Masahito Hasegawa
Year
2013
Book cover
Paperback
Year
2013

Voluntary climate contribution

CO₂-Emission
Climate contribution

30-day right of return if unopened
24 Months Warranty (Bring-in)

Compare products

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 41.Penguin Random House
    0.1 %
  • 41.rororo
    0.1 %
  • 41.Springer
    0.1 %
  • 41.Urban & Fischer
    0.1 %
  • 45.Beck C.H.
    0.2 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • Anaconda
    Not enough data
  • Ariston
    Not enough data
  • Avery Publishing Group
    Not enough data
  • Beck C.H.
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 44.Macmillan
    1 %
  • 44.Pearson Studium
    1 %
  • 44.Springer
    1 %
  • 44.Various Publishers
    1 %
  • 50.Droemer Knaur
    1.1 %
Source: Digitec Galaxus