Computation and Reasoning - A Type Theory for Computer Science (International Series of Monographs on Computer Science)

by Zhaohui Luo Hardcover details (UK). ISBN: 978-0-19-853835-6 ISBN-10: 0-19-853835-9 OUP Oxford · 1994