A complete axiomatisation of partial differentiation
Gordon Plotkin (University of Edinburgh)
20-May-2020, 17:00-18:00 (6 years ago)
category theory
Audience: researchers in the topic
Series comments: We will have discussions on the new Category Theory Zulip: categorytheory.zulipchat.com
See more information at this blog post.
| Organizers: | Joe Moeller, Christian Williams, John C. Baez* |
| *contact for this listing |
Export talk to