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...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2019
|