Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013 - Calculus of constructions - Document - PDFSEARCH.IO

First Page	Meta Content
	Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013 Add to Reading List Document Date: 2013-04-16 04:33:56 Open Document File Size: 472,86 KB Share Result on Facebook

Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013Add to Reading List