Identity types and weak factorization systems in Cauchy complete categoriesOpen Website

2019 (modified: 14 Mar 2023)Math. Struct. Comput. Sci. 2019Readers: Everyone
0 Replies

Loading