default search action
Fredrik Nordvall Forsberg
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Daniel Ritter
, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma:
Responsible composition and optimization of integration processes under correctness preserving guarantees. Inf. Syst. 124: 102400 (2024) - 2023
- [j5]Nicolai Kraus, Fredrik Nordvall Forsberg
Type-theoretic approaches to ordinals. Theor. Comput. Sci. 957: 113843 (2023) - [c22]Clemens Kupke
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS 2023: 135-154 - [c21]Tom de Jong
Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS 2023: 1-13 - [i7]Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
Set-Theoretic and Type-Theoretic Ordinals Coincide. CoRR abs/2301.10696 (2023) - [i6]Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma:
Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees. CoRR abs/2305.19196 (2023) - 2022
- [i5]Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
Type-Theoretic Approaches to Ordinals. CoRR abs/2208.03844 (2022) - 2021
- [c20]Georgi Nakov, Fredrik Nordvall Forsberg
Quantitative Polynomial Functors (Early Ideas). CALCO 2021: 22:1-22:5 - [c19]Nicolai Kraus
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. MFCS 2021: 70:1-70:16 - [c18]Georgi Nakov, Fredrik Nordvall Forsberg
Quantitative Polynomial Functors. TYPES 2021: 10:1-10:22 - [c17]Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg:
Translating Extensive Form Games to Open Games with Agency. ACT 2021: 221-234 - [i4]Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. CoRR abs/2104.02549 (2021) - 2020
- [c16]Fredrik Nordvall Forsberg
Three equivalent ordinal notation systems in cubical Agda. CPP 2020: 172-185 - [c15]Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke
Compositional Game Theory, Compositionally. ACT 2020: 198-214
2010 – 2019
- 2019
- [j4]Neil Ghani, Fredrik Nordvall Forsberg
Universal properties for universal types in bifibrational parametricity. Math. Struct. Comput. Sci. 29(6): 810-827 (2019) - [c14]Neil Ghani, Clemens Kupke
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ACT 2019: 95-105 - [i3]Daniel Ritter, Fredrik Nordvall Forsberg, Stefanie Rinderle-Ma, Norman May:
Catalog of Optimization Strategies and Realizations for Composed Integration Patterns. CoRR abs/1901.01005 (2019) - 2018
- [j3]Neil Ghani, Clemens Kupke
A compositional treatment of iterated open games. Theor. Comput. Sci. 741: 48-57 (2018) - [c13]Daniel Ritter
Optimization Strategies for Integration Pattern Compositions. DEBS 2018: 88-99 - [c12]Thorsten Altenkirch
Quotient Inductive-Inductive Types. FoSSaCS 2018: 293-310 - [e1]Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi:
23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary. LIPIcs 104, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-071-2 [contents] - 2017
- [c11]Neil Ghani, Conor McBride
Variations on Inductive-Recursive Definitions. MFCS 2017: 63:1-63:13 - [i2]Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
A Compositional Treatment of Iterated Open Games. CoRR abs/1711.07968 (2017) - 2016
- [c10]Neil Ghani, Fredrik Nordvall Forsberg
Proof-Relevant Parametricity. A List of Successes That Can Change the World 2016: 109-131 - [c9]Neil Ghani, Fredrik Nordvall Forsberg
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. FoSSaCS 2016: 3-19 - [i1]Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg:
Quotient inductive-inductive types. CoRR abs/1612.02346 (2016) - 2015
- [j2]Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg
Extracting verified decision procedures: DPLL and Resolution. Log. Methods Comput. Sci. 11(1) (2015) - [j1]Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. Log. Methods Comput. Sci. 11(1) (2015) - [c8]Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg
Models for Polymorphism over Physical Dimension. TLCA 2015: 45-59 - [c7]Neil Ghani, Fredrik Nordvall Forsberg
Parametric Polymorphism - Universally. WoLLIC 2015: 81-92 - [c6]Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg
Bifibrational Functorial Semantics of Parametric Polymorphism. MFPS 2015: 165-181 - 2013
- [b1]Fredrik Nordvall Forsberg:
Inductive-inductive definitions. Swansea University, UK, 2013 - [c5]Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. CALCO 2013: 19-33 - [c4]Kenji Miyamoto, Fredrik Nordvall Forsberg
Program Extraction from Nested Definitions. ITP 2013: 370-385 - [c3]Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Fibred Data Types. LICS 2013: 243-252 - 2011
- [c2]Thorsten Altenkirch
A Categorical Semantics for Inductive-Inductive Definitions. CALCO 2011: 70-84 - 2010
- [c1]Fredrik Nordvall Forsberg
Inductive-Inductive Definitions. CSL 2010: 454-468
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: