by: Gerard Huet · G. Plotkin
Hardcover
ISBN: 978-0-521-41300-8
ISBN-10: 0-521-41300-1
Cambridge University Press · 1991
|
|
by: Gerard Huet · G. PlotkinHardcover
ISBN: 978-0-521-41300-8 ISBN-10: 0-521-41300-1 Cambridge University Press · 1991 |
| See also: | ||
| 2010 | Printed Access Code | Logical Frameworks |