|
by J. Roger HindleyHardcover details (United Kingdom). details (USA). details (Germany). details (Canada). ISBN: 978-0-521-46518-2 ISBN-10: 0-521-46518-4 Cambridge University Press · 1997 |
| See also: | ||
| 2008 | Paperback | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) |