Combinatorial Dyson-Schwinger equations and inductive data types
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
The goal of this contribution is to explain the analogy between combinatorial Dyson-Schwinger equations and inductive data types to a readership of mathematical physicists. The connection relies on an interpretation of combinatorial Dyson-Schwinger equations as fixpoint equations for polynomial functors (established elsewhere by the author, and summarised here), combined with the now-classical fact that polynomial functors provide semantics for inductive types. The paper is expository, and comprises also a brief introduction to type theory.
Originalsprog | Engelsk |
---|---|
Artikelnummer | 111205 |
Tidsskrift | Frontiers of Physics |
Vol/bind | 11 |
Udgave nummer | 3 |
Antal sider | 15 |
ISSN | 2095-0462 |
DOI | |
Status | Udgivet - jun. 2016 |
Eksternt udgivet | Ja |
ID: 331498761