Difference between revisions of "Video/From Scratch to Univalence - SoME2"
Jump to navigation
Jump to search
m (Benkoo moved page Video/From Scratch to Univalence - to Video/From Scratch to Univalence - SoME2) |
|||
| 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]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Revision as of 01:12, 5 October 2022
Looping Back, ed. (Aug 15, 2022). From Scratch to Univalence - SoME2. local page: Looping Back.
References
Related Pages
Organized by:Looping Back