I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

On Small Types in Univalent Foundations:

de Jong, Tom ; Escardó, Martín Hötzel
Logical Methods in Computer Science.  19, Issue 2 (2023)  - p. , 2023
Link: https://doi.org/10.46298/lmcs-19(2:8)2023