Difference between revisions of "Video/From Scratch to Univalence - SoME2"
Jump to navigation
Jump to search
| Line 18: | Line 18: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Univalence,Type Theory,Category Theory | |category_csd=Univalence,Type Theory,Category Theory | ||
|semantic_labels=Organized by:[[Organized by::Looping Back]] | |semantic_labels=Organized by:[[Organized by::Looping Back]] Submitted for:[[Submitted for::SoME2]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 03:34, 30 December 2022
Looping Back, ed. (Aug 15, 2022). From Scratch to Univalence - SoME2. local page: Looping Back.
References
Related Pages
Organized by:Looping Back Submitted for:SoME2