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

First Page	Meta Content
	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 Document Date: 2014-06-17 06:14:58 Open Document File Size: 339,14 KB Share Result on Facebook

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