Hacker Neus
Programming in Martin-Lof's Type Theory: An Introduction (1990)
(cse.chalmers.se)
59 points
by todsacerdoti
6 days ago |
6 comments
