Coquand T.[1987] "Extensional models for polymorphism (0)

by V Breazu-Tannen