Second-order type isomorphisms through game semantics. To appear in Annals of Pure and Applied Logic, Special Issue on Game Semantics. Available at http://www.pps.jussieu.fr/∼delatail/isotypes.pdf (2007)

Cached

Download Links

by Joachim De Lataillade , Équipe Preuves , Programmes Et Systèmes , Cnrs Université , Paris Denis Diderot
Citations:3 - 0 self