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: | , |
|---|---|
| 格式: | Conference item |
| 出版: |
Springer
2019
|