Back to Results
First PageMeta Content



The Next 700 Modal Type Assignment Systems Andreas Abel Department of Computer Science and Engineering Gothenburg University We exhibit a generic modal type system for simply-typed lambda-calculus that subsumes
Add to Reading List

Document Date: 2015-12-07 10:26:09


Open Document

File Size: 208,29 KB

Share Result on Facebook