Refining the meaning of types Noam Zeilberger1 MSR-Inria Joint Centre Mathematics, Algorithms and Proofs Institut Henri Poincaré, Paris, 27 May 2014

First Page		Document Content
Date: 2014-06-17 06:14:58		Refining the meaning of types Noam Zeilberger1 MSR-Inria Joint Centre Mathematics, Algorithms and Proofs Institut Henri Poincaré, Paris, 27 May 2014 Add to Reading List Source URL: perso.crans.org Download Document from Source Website File Size: 339,14 KB Share Document on Facebook