Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) (Volume 0)
I will be using this book for:
1 total vote
Log in to remove ads

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) (Volume 0)

by J. Roger Hindley

Mathematics Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

An authoritative introduction to simple type theory, covering its mathematical foundations and relevance to theoretical computer science and lambda calculi.

ISBN-13 9780521054225 ASIN 0521054222 Views 79 Publisher Cambridge University Press Year 2008 Edition 1 Format Paperback Product Group Book Pages 200 Adult No Created March 03, 2026 Updated September 29, 2026
About This Book

This volume presents the core principles of simple type theory within the framework of theoretical computer science.

It explores the mathematical structures and logical systems that underpin typed lambda calculi and functional programming.

The text is part of the Cambridge Tracts in Theoretical Computer Science series and serves as a reference for advanced study.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for:
1 total vote