The Frobenius condition, right properness, and uniform fibrations
Journal article, 2017
Author
Nicola Gambino
Christian Sattler
Logic and Types
Journal of Pure and Applied Algebra
0022-4049 (ISSN)
Vol. 221 12 3027-3068Subject Categories
Algebra and Logic
Computer Science
DOI
10.1016/j.jpaa.2017.02.013