Programming in Martin-Lof's Type Theory: An Introduction (1990)(cse.chalmers.se)42 points by todsacerdoti 1 year ago | 0 comments