Revision history of "Video/ACT@UCR Seminar: The Pi Calculus - Christian Williams"

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 18:48, 2 January 2023‎ Benkoo2 talk contribs‎ 594 bytes +594‎ Created page with "{{cite book |first=Christian |last=Williams |author-link=Christian Williams |date=Mar 29, 2019 |title=ACT@UCR Seminar: The Pi Calculus - Christian Williams |url=https://www.youtube.com/watch?v=NTJBMbTIJis |location=local page |publisher=Applied Category Theory }} <noinclude> {{#widget:YouTube |id=NTJBMbTIJis |width=640 }} {{PagePostfix |category_csd=Category Theory, Pi Calculus |semantic_labels=Or..."
Retrieved from "https://pkc.pub/wiki/Video/ACT@UCR_Seminar:_The_Pi_Calculus_-_Christian_Williams"