Publication year
2014Publisher
Cambridge : Cambridge University Press
ISBN
9781139567725
In
Type Theory and Formal Proof: An Introduction, pp. 137-164Publication type
Part of book or chapter of book
Related publications
Display more detailsDisplay less details
Organization
Software Science
Book title
Type Theory and Formal Proof: An Introduction
Page start
p. 137
Page end
p. 164
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [246860]
- Faculty of Science [38055]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.