Discrete Generalised Polynomial Functors (Q3167013)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discrete Generalised Polynomial Functors |
scientific article |
Statements
Discrete Generalised Polynomial Functors (English)
0 references
1 November 2012
0 references
presheaf categories
0 references
Kan extensions
0 references
generalised logic
0 references
polynomial functors
0 references
equational systems
0 references
algebraic effects
0 references
abstract syntax
0 references
dependent programming
0 references
