COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Coherent differentiation makes the differential lambda-calculus deterministic

## Coherent differentiation makes the differential lambda-calculus deterministicAdd to your list(s) Download to your calendar using vCal - Thomas Ehrhard, University of Paris
- Friday 28 October 2022, 14:00-15:00
- SS03.
If you have a question about this talk, please contact Jamie Vicary. Categorical models of differentiation are either additive categories, that is categories enriched over commutative monoids, or left-additive categories. This is due to the fact that the differentiation of a function depending on a tuple of arguments requires a summation of partial derivatives. From a computational point of view this means that a model of a programming language where programs can be differentiated (in the sense of the differential lambda-calculus) features a strong form of non-determinism. The recently introduced coherent differentiation shows that this is not a fatality, proposing a new setting where morphisms can be differentiated – in a completely standard way – in categories which are not necessarily additive. As an outcome we introduce a differential version of the functional language PCF equipped with a fully deterministic operational semantics. This new approach is based on a functorial axiomatization of the concept of summability. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- SS03
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsDominic Sandbrook: 'State of Emergency: Britain in the 1970s' Centre for Smart Infrastructure & Construction Seminars Engineering Department Construction Talks## Other talksLagrangian multiforms: a variational criterion for integrability Antibiotic Awareness Week Gateway OfB MWS Grand Rounds - Soft Tissue Ops Meeting Humanising genetics: changing practices, emotions and identities of clinical genetics in the late 20th century |