Change actions: models of generalised differentiation
Change structures, introduced by Cai et al., have recently been proposed as a semantic framework for incremental computation. We generalise change actions, an alternative to change structures, to arbitrary cartesian categories and propose the notion of change action model as a categorical model for...
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Conference item |
| منشور في: |
Springer
2019
|