Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic
Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško Pavlović