%0 Journal Article %1 journals/mscs/Escardo21 %A Escardó, Martín Hötzel %D 2021 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 89-111 %T Injective types in univalent mathematics. %U http://dblp.uni-trier.de/db/journals/mscs/mscs31.html#Escardo21 %V 31

@article{journals/mscs/Escardo21, added-at = {2023-08-28T00:00:00.000+0200}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/2987de57d4f3b861f5b77392c6a12c2a4/dblp}, ee = {https://www.wikidata.org/entity/Q114116581}, interhash = {9f3f517be2d794db7c9d4fc688106192}, intrahash = {987de57d4f3b861f5b77392c6a12c2a4}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {89-111}, timestamp = {2024-04-08T13:16:56.000+0200}, title = {Injective types in univalent mathematics.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs31.html#Escardo21}, volume = 31, year = 2021 }