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		Document Content
Date: 2001-02-16 11:59:15		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 Source URL: publications.csail.mit.edu Download Document from Source Website File Size: 412,08 KB Share Document on Facebook