Rank 2 type systems and recursive denitions Technical Memorandum MIT LCS TM{531 Trevor Jim Laboratory for Computer Science Massachusetts Institute of Technology August 1995; revised November 1995 - Trevor - Document - PDFSEARCH.IO

First Page	Meta Content
	Rank 2 type systems and recursive denitions Technical Memorandum MIT/LCS/TM{531 Trevor Jim Laboratory for Computer Science Massachusetts Institute of Technology August 1995; revised November 1995 Add to Reading List Document Date: 2001-02-16 11:59:15 Open Document File Size: 412,08 KB Share Result on Facebook

Rank 2 type systems and recursive de nitions Technical Memorandum MIT/LCS/TM{531 Trevor Jim Laboratory for Computer Science Massachusetts Institute of Technology August 1995; revised November 1995Add to Reading List