Michael Makkai (McGill)

Event

Burnside Hall Room 920, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA

First-order logic with dependent sorts (FOLDS) and the related generalization of the concept of isomorphism, "FOLDS equivalence" II