A Complete Axiomatisation of Partial Differentiation
Azimuth 2020-05-18
Summary:
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 […]