Index of /Books Magazines and other texts/Computer Science/Theory/Type Theory

	Name	Size
	Parent Directory	-
	Benjamin C. Pierce - Advanced topics in types and programming languages-MIT Press (2005).pdf	9.1M
	Benjamin C. Pierce - Types and Programming Languages (2002, The MIT Press) - libgen.lc.pdf	13M
	Languages based on Theoretical Design(s)/	-
	well-typed.pdf	154K