Combinatorial Dyson-Schwinger equations and inductive data types

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

Combinatorial Dyson-Schwinger equations and inductive data types. / Kock, Joachim.

In: Frontiers of Physics, Vol. 11, No. 3, 111205, 06.2016.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Kock, J 2016, 'Combinatorial Dyson-Schwinger equations and inductive data types', Frontiers of Physics, vol. 11, no. 3, 111205. https://doi.org/10.1007/s11467-015-0544-3

APA

Kock, J. (2016). Combinatorial Dyson-Schwinger equations and inductive data types. Frontiers of Physics, 11(3), [111205]. https://doi.org/10.1007/s11467-015-0544-3

Vancouver

Kock J. Combinatorial Dyson-Schwinger equations and inductive data types. Frontiers of Physics. 2016 Jun;11(3). 111205. https://doi.org/10.1007/s11467-015-0544-3

Author

Kock, Joachim. / Combinatorial Dyson-Schwinger equations and inductive data types. In: Frontiers of Physics. 2016 ; Vol. 11, No. 3.

Bibtex

@article{014f80a5d4b1473c93c0ae74f2331c75,
title = "Combinatorial Dyson-Schwinger equations and inductive data types",
abstract = "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.",
keywords = "Dyson-Schwinger equations, type theory, inductive types, bialgebras, polynomial functors, HOPF-ALGEBRAS, RENORMALIZATION, TREES, BIALGEBRAS",
author = "Joachim Kock",
year = "2016",
month = jun,
doi = "10.1007/s11467-015-0544-3",
language = "English",
volume = "11",
journal = "Frontiers of Physics",
issn = "2095-0462",
publisher = "Gaodeng Jiaoyu Chubanshe",
number = "3",

}

RIS

TY - JOUR

T1 - Combinatorial Dyson-Schwinger equations and inductive data types

AU - Kock, Joachim

PY - 2016/6

Y1 - 2016/6

N2 - 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.

AB - 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.

KW - Dyson-Schwinger equations

KW - type theory

KW - inductive types

KW - bialgebras

KW - polynomial functors

KW - HOPF-ALGEBRAS

KW - RENORMALIZATION

KW - TREES

KW - BIALGEBRAS

U2 - 10.1007/s11467-015-0544-3

DO - 10.1007/s11467-015-0544-3

M3 - Journal article

VL - 11

JO - Frontiers of Physics

JF - Frontiers of Physics

SN - 2095-0462

IS - 3

M1 - 111205

ER -

ID: 331498761