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...
| Główni autorzy: | , |
|---|---|
| Format: | Conference item |
| Wydane: |
Springer
2019
|