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...
| Hlavní autoři: | , |
|---|---|
| Médium: | Conference item |
| Vydáno: |
Springer
2019
|