Target New ArrivalsGift Ideas for DadClothing, Shoes & AccessoriesHome & DecorKitchen & DiningOutdoor Living & GardenGroceryHousehold EssentialsBabyBeautyPersonal CareSports & OutdoorsHealthWellnessLuggageSchool & Office SuppliesToysElectronicsVideo GamesMovies, Music & BooksParty SuppliesGift IdeasGift CardsPetsUlta Beauty at TargetShop by CommunityTarget OpticalDealsClearanceNew ArrivalsSpring OutfitsGift Ideas for MomWomen’s Festival OutfitsTop DealsTarget Circle DealsWeekly AdShop Order PickupShop Same Day DeliveryRegistryRedCardTarget CircleFind Stores
Typed Lambda Calculi and Applications - (Lecture Notes in Computer Science) by Martin Hofmann (Paperback) - 1 of 1

Typed Lambda Calculi and Applications - (Lecture Notes in Computer Science) by Martin Hofmann (Paperback)

$54.99

In Stock

Free & easy returns

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.
Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Highlights

  • The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.
  • Author(s): Martin Hofmann
  • 320 Pages
  • Mathematics, Logic
  • Series Name: Lecture Notes in Computer Science

Description



Book Synopsis



The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.

The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

Dimensions (Overall): 9.1 Inches (H) x 6.1 Inches (W) x .7 Inches (D)
Weight: 1.1 Pounds
Suggested Age: 22 Years and Up
Number of Pages: 320
Genre: Mathematics
Sub-Genre: Logic
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Format: Paperback
Author: Martin Hofmann
Language: English
Street Date: May 27, 2003
TCIN: 1011231329
UPC: 9783540403326
Item Number (DPCI): 247-05-6119
Origin: Made in the USA or Imported
If the item details aren’t accurate or complete, we want to know about it.

Shipping details

Estimated ship dimensions: 0.7 inches length x 6.1 inches width x 9.1 inches height
Estimated ship weight: 1.1 pounds
We regret that this item cannot be shipped to PO Boxes.
This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.
This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.
See the return policy for complete information.

Additional product information and recommendations

Discover more options

Trending Education Books

Get top deals, latest trends, and more.

Privacy policy