The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping Alexandre Miquel1 INRIA Rocquencourt – Projet LogiCal BP 105, Le Chesnay cedex, France - Subtyping - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-05-12 11:26:49		The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping Alexandre Miquel1 INRIA Rocquencourt – Projet LogiCal BP 105, Le Chesnay cedex, France Add to Reading List Source URL: www.fing.edu.uy Download Document from Source Website File Size: 208,17 KB Share Document on Facebook