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

by S Berardi