A Complete Axiomatisation of Partial Differentiation

In the eighth talk of the ACT@UCR seminar, Gordon Plotkin will tell us about partial differentiation, viewed as a logical theory.

He will give his talk on Wednesday May 20th at 5 pm UTC, which is 10 am in California, or 1 pm on the east coast of the United States, or 6 pm in England. It will be held online via Zoom, here:

https://ucr.zoom.us/j/607160601

Afterwards we will discuss his talk at the Category Theory Community Server. You can see those discussions here if you become a member:

...