Type checking in system F j . Available at http://hypatia.dcs.qmw.ac.uk/ authors/R/RaffalliC/papers/F-eta.dvi.gz (1996)

by Christophe Raffalli
Venue:INRIA Rhone-Alpes, 46 avenue F'elix Viallet, 38031 GRENOBLE Cedex 1 Unit'e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit'e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902