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



Published: 31 March 1994

240 Pages | line figures throughout


ISBN: 9780198538356

Also Available As:


Bookseller Code (AJ)

Computation and Reasoning

A Type Theory for Computer Science

Zhaohui Luo

Clarendon Press

International Series of Monographs on Computer Science

  • Covers all the major relevant issues
  • Includes new and recent results
  • Detailed explanation of applications