Fibrations, logical predicates and indeterminantes (1993)

by C Hermida