Derivatives in logic via coalgebras
Daniel Murfet (University of Melbourne)

May 5, 2017, 6:30am - 8:00am
Logic Group, The University of Melbourne

Old Quad
Parkville 3010


Shawn Standefer
University of Melbourne

Topic areas


Dan Murfet (Melbourne) will present "Derivatives in logic via coalgebras" at *10:30* in Old Quad G09.

Abstract: What is the derivative of a proof? I will explain why this question makes sense, and how to answer it in the context of linear logic using cofree coalgebras. In a sense the interplay between calculus, logic and computer science is an old one, going back at least to Babbage’s difference engine, but it has gained new life in the last decade due to work on differential lambda calculus by Ehrhard and Regnier. This connection is also key to various approaches to coupling formal logic to more connectionist reasoning systems, like neural networks.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.