Fredrik Nordvall Forsberg

View Scopus Profile

Fredrik Nordvall Forsberg

Dr

 https://orcid.org/0000-0001-6157-9288

  • United Kingdom

Accepting PhD Students

Filter
Conference contribution book

Search results

  • 2022

    Quantitative polynomial functors

    Nakov, G. & Nordvall Forsberg, F., 4 Aug 2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Dagstuhl, Germany, Vol. 239. p. 10:1--10:22 22 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    31 Downloads (Pure)
  • 2021

    Quantitative polynomial functors

    Nakov, G. & Forsberg, F. N., 3 Sept 2021, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Dagstuhl, Germany, p. 22:1-22:5 5 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 211).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    36 Downloads (Pure)

  • Connecting constructive notions of ordinals in homotopy type theory

    Nordvall Forsberg, F., Xu, C. & Kraus, N., 27 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Wadern, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 42:1-42:16 16 p. 42

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    3 Citations (Scopus)
    27 Downloads (Pure)

  • Translating extensive form games to open games with agency

    Capucci, M., Ghani, N., Ledent, J. & Nordvall Forsberg, F., 12 Jul 2021, Applied Category Theory 2021. Cambridge, 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    66 Downloads (Pure)
  • 2020

    Three equivalent ordinal notation systems in cubical Agda

    Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    7 Citations (Scopus)
    66 Downloads (Pure)
  • 2018

    Optimization strategies for integration pattern compositions

    Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 25 Jun 2018, 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York: Association for Computing Machinery (ACM), p. 88-99 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    9 Citations (Scopus)
    52 Downloads (Pure)

  • Quotient inductive-inductive types

    Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    31 Citations (Scopus)
    28 Downloads (Pure)
  • 2017

    Variations on inductive-recursive definitions

    Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 63. (Leibniz International Proceedings in Informatics ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    2 Citations (Scopus)
    67 Downloads (Pure)
  • 2016

    Proof-relevant parametricity

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    3 Citations (Scopus)
    36 Downloads (Pure)

  • Comprehensive parametric polymorphism: categorical models and type theory

    Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Jacobs, B. & Löding, C. (eds.). Berlin: Springer-Verlag, Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    7 Citations (Scopus)
    220 Downloads (Pure)
  • 2015

    Parametric polymorphism - universally

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    5 Citations (Scopus)
    171 Downloads (Pure)

  • Models for polymorphism over physical dimensions

    Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany : Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    95 Downloads (Pure)
  • 2013

    Positive inductive-recursive definitions

    Ghani, N., Malatesta, L. & Nordvall Forsberg, F., 8 Aug 2013, Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Heckel, R. & Milius, S. (eds.). Berlin, p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 8089).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

  • Program extraction from nested definitions

    Miyamoto, K., Nordvall Forsberg, F. & Schwichtenberg, H., 19 Jul 2013, Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Blazy, S., Paulin-Mohring, C. & Pichardie, D. (eds.). Berlin, p. 370-385 16 p. (Lecture Notes in Computer Science; vol. 7998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    7 Citations (Scopus)

  • Fibred data types

    Ghani, N., Malatesta, L., Nordvall Forsberg, F. & Setzer, A., 2013, 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). New York: IEEE, p. 243-252 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    4 Citations (Scopus)
  • 2011

    A categorical semantics for inductive-inductive definitions

    Altenkirch, T., Morris, P., Nordvall Forsberg, F. & Setzer, A., 19 Aug 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Berlin, p. 70-84 15 p. (Lecture Notes in Computer Science; vol. 6859).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    16 Citations (Scopus)
  • 2010

    Inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 11 Aug 2010, Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Dawar, A. & Veith, H. (eds.). Berlin, p. 454-468 15 p. (Lecture Notes in Computer Science; vol. 6247).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    18 Citations (Scopus)