Programming in Martin-Lof's Type Theory: An Introduction (1990)

(cse.chalmers.se)

15 points | by todsacerdoti 2 days ago ago