Hermida, Claudio Alberto

• DAIMI Report Series No. 462 (1993): PB-462 Fibrations, Logical Predicates and Indeterminates - Articles
  Fibrations, Logical Predicates and Indeterminates
  Abstract  PDF