Your search returned 2 results.

Results
		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 Nederpelt, R. P. (Rob P.) [author.] Geuvers, Herman, 1964- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2014 Other title: Type Theory & Formal Proof Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Basic simple type theory / J. Roger Hindley. by Hindley, J. Roger [author.] Series: Cambridge tracts in theoretical computer science ; 42. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1997 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Refine your search