Type theory and formal proof : an introduction

Author(s)

• Nederpelt, R. P. (Rob P.)
• Geuvers, J. H

Bibliographic Information

Type theory and formal proof : an introduction

Rob Nederpelt, Herman Geuvers

Cambridge University Press, 2014

• : hardback

Note

Includes bibliographical references (p. [411]-417) and indexes

Details

• NCID: BB17286361
• ISBN:
  • 9781107036505
• LCCN: 2014010865
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xxv, 436 p.
• Size: 26 cm
• Classification:
  • LCC : QA9
  • DC23 : 551.3
• Subject Headings:
  • LCSH : Type theory
  • FREE : COMPUTERS / Programming Languages / General. bisacsh