Difference between revisions of "Video/From Scratch to Univalence - SoME2"

From PKC
Jump to navigation Jump to search
 
(One intermediate revision 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