Back to Results
First PageMeta Content

Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System
Add to Reading List

Document Date: 2017-07-28 06:42:57

Open Document

File Size: 969,80 KB

Share Result on Facebook