We a good story
Quick delivery in the UK
About Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521465182
  • Binding:
  • Hardback
  • Pages:
  • 200
  • Published:
  • July 30, 1997
  • Dimensions:
  • 236x159x23 mm.
  • Weight:
  • 452 g.
Delivery: 2-3 weeks
Expected delivery: December 12, 2024

Description of Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

User ratings of Basic Simple Type Theory



Find similar books
The book Basic Simple Type Theory can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.