Predicates and Fibrations (1990)

by Dusko Pavlovic