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.
£29.05
Similar Deals
Portobello Road 1000 Piece Puzzle
£14.99
From Stanfords
The Kremlin Conspiracy: 1,000 Years of Russian Expansionism
£12.99
From Stanfords
Easter Sticker Book
£5.99
From Stanfords
National Geographic Kids Infopedia 2020
£12.99
From Stanfords
On-the-Go Amusements: 50 Great Things to Do Outside
£7.99
From Stanfords
The Princess Bride Talking Book
£7.99
From Stanfords
Wilderness Survival Skills Cards
£7.99
From Stanfords
What in the World Am I?
£6.50
From Stanfords