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!

A focused introduction to basic simple type theory, situated within theoretical computer science and mathematical logic. Written by J. Roger Hindley, this volume belongs to the Cambridge Tracts in Theoretical Computer Science series and is suited to readers seeking a foundation in typed formal systems.

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

Basic Simple Type Theory presents an introduction to simple type theory.

The book focuses on a foundational subject within theoretical computer science and mathematical logic.

It is part of the Cambridge Tracts in Theoretical Computer Science series.

This volume is written by J. Roger Hindley.

Reviews

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

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