Back to Results
First PageMeta Content



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

Document Date: 2011-11-30 14:05:08


Open Document

File Size: 297,16 KB

Share Result on Facebook