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

First Page		Document Content
Date: 2015-12-07 10:26:09		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 Source URL: www2.tcs.ifi.lmu.de Download Document from Source Website File Size: 208,29 KB Share Document on Facebook