Programming in Martin-Lof's Type Theory: An Introduction (1990) cse.chalmers.se 6 points by todsacerdoti 14 hours ago