Difference between revisions of "Video/From Scratch to Univalence - SoME2"
Jump to navigation
Jump to search
(Created page with "{{cite book |editor=Looping Back |editor-link=Looping Back |date=Aug 15, 2022 |title=From Scratch to Univalence - SoME2 |url=https://www.youtube.com/watch?v=yIgzlWgGfgw |location=local page |publisher=Looping Back }} <noinclude> {{#widget:YouTube |id=yIgzlWgGfgw |width=640 |height=360 }} {{PagePostfix |category_csd=Univalence,Category Theory |semantic_labels=Organized by:Organized by::Looping Back }} </noinclude>") |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 17: | Line 17: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Univalence,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