Types for Proofs and Programs (English, Peter Dybjer | Bengt Nordström | Jan Smith)
Sciences, Technology & Medicine

Types for Proofs and Programs (English, Peter Dybjer | Bengt Nordström | Jan Smith)

5,483

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540605799
ISBN-103540605797

Product Description

About the Book

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are deal…

ISBN: 9783540605799

Frequently Asked Questions

What is the price of Types for Proofs and Programs?
Types for Proofs and Programs is available at ₹5,483 on BookShops.in.
Does BookShops.in offer free delivery for Types for Proofs and Programs?
FREE delivery on all orders for Types for Proofs and Programs.
Is Cash on Delivery available for Types for Proofs and Programs?
Yes, Cash on Delivery (COD) is available for Types for Proofs and Programs on BookShops.in. Pay when your order arrives.
What is the return policy for Types for Proofs and Programs?
BookShops.in offers a 15-day hassle-free return policy for Types for Proofs and Programs. Contact us at support@bookshops.in or call +91 81899 68108.
Is Types for Proofs and Programs authentic?
Types for Proofs and Programs is listed on BookShops.in after verification of product details including ISBN, title, and availability information.