Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands) - Pavlović, Dus̆ko (1990)
Utrecht, Rijksuniv., Diss.