Jean-Philippe Bernardy Free People Check 

( I'm Jean-Philippe Bernardy)

Loading...

Images of Jean-Philippe Bernardy

(1 - 1 from 1 )

News

Séminaire,

chocola.ens-lyon.fr
... be trivially derived hence can be omitted; Beside, some parametricity results can be internalized. (Joint work with Jean-Philippe Bernardy.).
Save as document
+1