Type Theory and Formal Proof

Geuvers

by Herman Geuvers Rob Nederpelt

Hardcover

ISBN: 978-1-107-03650-5

ISBN-10: 1-107-03650-X

Cambridge University Press · 2014