Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science - Hindley, J. Roger (University of Wales, Swansea) - Books - Cambridge University Press - 9780521465182 - July 31, 1997
In case cover and title do not match, the title is correct

Hindley, J. Roger (University of Wales, Swansea)
Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science

Price
$ 157.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

200 pages, 10 b/w illus. 1 table

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 31, 1997
ISBN13 9780521465182
Publishers Cambridge University Press
Pages 200
Dimensions 236 × 159 × 23 mm   ·   452 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

More by Hindley, J. Roger (University of Wales, Swansea)

Show all

Mere med samme udgiver

See all of Hindley, J. Roger (University of Wales, Swansea) ( e.g. Hardcover Book and Paperback Book )