Journals Higher Education
Important OUP's Response to COVID-19 Learn more

$88.00

Hardcover

Published: 12 May 1994

240 Pages

ISBN: 9780198538356


Also Available As:

Ebook


Bookseller Code (06)

Computation and Reasoning

A Type Theory for Computer Science

Zhaohui Luo

A Clarendon Press Publication

International Series of Monographs on Computer Science

Also of Interest