Talk given at the 'Jumelage meeting on typed lambda calculus (1989)

by S Berardi