The Frobenius condition, right properness, and uniform fibrations
Artikel i vetenskaplig tidskrift, 2017
Författare
Nicola Gambino
Christian Sattler
Logik och Typer
Journal of Pure and Applied Algebra
0022-4049 (ISSN)
Vol. 221 12 3027-3068Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)
DOI
10.1016/j.jpaa.2017.02.013