Invited talk at TLDI’12 Towards Concurrent Type Theory Lu´ıs Caires Frank Pfenning

First Page		Document Content
Date: 2011-11-30 14:05:08		Invited talk at TLDI’12 Towards Concurrent Type Theory Lu´ıs Caires Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 297,16 KB Share Document on Facebook