Programming in Martin-Lof's Type Theory: An Introduction (1990) cse.chalmers.se 49 points by todsacerdoti 3 days ago