Books by J. Roger Hindley — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
J. Roger Hindley
Cambridge University Press
View Details ›
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley, Jonathan P. Seldin
Cambridge University Press
View Details ›
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
J. Roger Hindley
Cambridge University Press
View Details ›