Fredrik Nordvall Forsberg
Identifiers
No identifiers captured yet.
Papers (4)
- Generalized Decidability via Brouwer Trees cs.LO · 2026 · author #4
- Catalog of Optimization Strategies and Realizations for Composed Integration Patterns cs.SE · 2019 · author #2
- A Compositional Treatment of Iterated Open Games cs.GT · 2017 · author #4
- Quotient inductive-inductive types cs.LO · 2016 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Nicolai Kraus 2 shared papers
- Alasdair Lambert 1 shared papers
- Aref Mohammadzadeh 1 shared papers
- Clemens Kupke 1 shared papers
- Daniel Ritter 1 shared papers
- Gabe Dijkstra 1 shared papers
- Neil Ghani 1 shared papers
- Norman May 1 shared papers
- Paolo Capriotti 1 shared papers
- Stefanie Rinderle-Ma 1 shared papers
- Thorsten Altenkirch 1 shared papers
- Tom de Jong 1 shared papers