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

 (cse.chalmers.se)

6 points | by todsacerdoti 12 hours ago

0 comments