Types for Proofs and Programs Image close
Types for Proofs and Programs
Types for Proofs and Programs
Show Hide Adult Content
Types for Proofs and Programs close

Non-Fiction Books:

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

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$156.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 20 Jun - 2 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Knowledge Discovery and Data Mining
$200.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 1 Jun 2024
Wisdom, Well-Being, Win-Win
$365.00
Wisdom, Well-Being, Win-Win
Paperback / softback
Pre-order - out Saturday
Evolutionary Computation in Combinatorial Optimization
$150.00
Evolutionary Computation in Combinatorial Optimization
Paperback / softback
Pre-order - out 2 Jun 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$567.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 2024
Component Deployment
$148.00
Component Deployment
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Image Analysis
$154.00
Combinatorial Image Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Pervasive Computing
$150.00
Pervasive Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Discovery from Sensor Data
$148.00
Knowledge Discovery from Sensor Data
Paperback / softback
Available - Usually ships in 3-4 weeks
Software and Compilers for Embedded Systems
$148.00
Software and Compilers for Embedded Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Spatial Databases
$151.00
Advances in Spatial Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Concurrent Computation
$138.00
Semantics of Concurrent Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Rechnerstrukturen und Betriebsprogrammierung
$162.00
Rechnerstrukturen und Betriebsprogrammierung
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$150.00
Recent Advances in Parallel Virtual Machine and Message Passing...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$157.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.
Release date NZ
February 20th, 2002
Audience
  • Professional & Vocational
Contributors
  • Edited by James McKinna
  • Edited by Paul Callaghan
  • Edited by Robert Pollack
  • Edited by Zhaohui Luo
Illustrations
viii, 248 p.
Pages
248
Dimensions
155x233x13
ISBN-13
9783540432876
Product ID
2494918

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 >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Compilers & interpreters
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence