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



Published: 12 May 1994

240 Pages

ISBN: 9780198538356

Also Available As:


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