# content
Programming in Martin-Lof's Type Theory: An Introduction (1990) (via fanf) — discussion

#book #pdf #plt