![](https://www.pdfsearch.io/img/6a15b68c59313e0c097e88c3f6791737.jpg) Date: 2017-07-28 06:55:52
| | 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 ListSource URL: people.cs.kuleuven.beDownload Document from Source Website File Size: 969,80 KBShare Document on Facebook
|