Reynolds' paradox, with the Type:Type axiom (1989)

by Coquand Th
Venue:in The Calculus of Constructions, Documentation and user's