Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
(Autor) H. Simmons
Formato:
Hardcover
£134,00
Precio: £127,30
(5% off)
Generally dispatched in 1 to 2 days
Information
Editorial:
Cambridge University Press
Formato:
Hardcover
Número de páginas:
None
Idioma:
en
ISBN:
9780521771733
Año de publicación:
2000
Fecha publicación:
18 de Mayo de 2000