Type theory and formal proof: an introduction / Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands.

By:

Contributor(s):

Material type:

TextPublication details: Cambridge ; Cambridge University Press, 2014.Description: vii, 436 pages ; 25 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Other classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

No physical items for this record

There are no comments on this title.

to post a comment.