J. Roger Hindley: Basic Simple Type Theory
____________________________
Author: J. Roger Hindley
Number of Pages: 200 pages
Published Date: 01 Feb 2008
Publisher: CAMBRIDGE UNIVERSITY PRESS
Publication Country: Cambridge, United Kingdom
Language: English
ISBN: 9780521054225
Download Link: Click Here
____________________________