Type Theory and Formal Proof

An Introduction

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9781107036505, 110703650X

  • eText ISBN: 9781316053980, 1316053989