|
by J. Roger HindleyPaperback details (UK). details (USA). details (Germany). details (Italy).
ISBN: 978-0-521-05422-5 ISBN-10: 0-521-05422-2 Cambridge University Press · 2008 |
| See also: | ||
| 1997 | Hardcover | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) |