Video/Giuseppe Rosolini: Equality is Coalgebraic
Revision as of 09:52, 10 June 2022 by Benkoo (talk | contribs) (Created page with "{{cite book |title=Giuseppe Rosolini: Equality is Coalgebraic |location=local page |url=https://www.youtube.com/watch?v=UC...")
Rosolini, Giuseppe (June 10, 2022). Giuseppe Rosolini: Equality is Coalgebraic. local page: Topos Institute.
In this video, the speaker extensively made reference to the rule-base language: Kappa Language.
References