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

£65.00

Hardback

Published: 31 March 1994

240 Pages | line figures throughout

234x156mm

ISBN: 9780198538356


Also Available As:

Ebook


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