Realizability and Parametricty in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2 - Jean-Marc Philippe - Document - PDFSEARCH.IO

First Page	Meta Content
	Realizability and Parametricty in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2 Add to Reading List Document Date: 2010-10-26 16:09:49 Open Document File Size: 387,33 KB Share Result on Facebook

Realizability and Parametricty in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2Add to Reading List