Browse by Author or creator

2025

McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik and Videla, Andre and Forbes, Alistair and Lines, Keith (2025) LabMate : a prospectus for types for MATLAB. Measurement: Sensors, 38. 101460. ISSN 2665-9174

Forbes, Alistair and Lines, Keith and Nordvall Forsberg, Fredrik and McBride, Conor and Videla, Andre (2025) Preserving model structure and constraints in scientific computing. Measurement: Sensors, 38. 101796. ISSN 2665-9174

de Jong, Tom and Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie (2025) Ordinal exponentiation in homotopy type theory. In: 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '25), 2025-06-23 - 2025-06-26, Singapore. (In Press)

2024

Ritter, Daniel and Nordvall Forsberg, Fredrik and Rinderle-Ma, Stefanie (2024) Responsible composition and optimization of integration processes under correctness preserving guarantees. Information Systems, 124. 102400. ISSN 0306-4379

2023

Kupke, Clemens and Nordvall Forsberg, Fredrik and Watters, Sean (2023) A fresh look at commutativity : free algebraic structures via fresh lists. In: The 21st Asian Symposium on Programming Languages and Systems, 2023-11-26 - 2023-11-29.

de Jong, Tom and Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie (2023) Set-theoretic and type-theoretic ordinals coincide. In: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, 2023-06-26 - 2023-06-29.

Kraus, Nicolai and Nordvall Forsberg, Fredrik and Xu, Chuangjie (2023) Type-theoretic approaches to ordinals. Theoretical Computer Science, 957. 113843. ISSN 0304-3975

McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik (2023) Measuring with confidence : leveraging expressive type systems for correct-by-construction software. Acta IMEKO, 12 (1). 15. ISSN 2221-870X

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; Benini, Marco and Beyersdorff, Olaf and Rathjen, Michael and Schuster, Peter, eds. (2023) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore, pp. 195-222. ISBN 978-981-12-4523-7

2022

Nakov, Georgi and Nordvall Forsberg, Fredrik; Basold, Henning and Cockx, Jesper and Ghilezan, Silvia, eds. (2022) Quantitative polynomial functors. In: 27th International Conference on Types for Proofs and Programs (TYPES 2021). Leibniz International Proceedings in Informatics, LIPIcs, 239 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 10:1--10:22. ISBN 9783959772549

2021

Nakov, Georgi and Forsberg, Fredrik Nordvall; Gadducci, Fabio and Silva, Alexandra, eds. (2021) Quantitative polynomial functors. In: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, AUT, 22:1-22:5. ISBN 9783959772129

Nordvall Forsberg, Fredrik and Xu, Chuangjie and Kraus, Nicolai; (2021) Connecting constructive notions of ordinals in homotopy type theory. In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, EST, 42:1-42:16.

Capucci, Matteo and Ghani, Neil and Ledent, Jérémy and Nordvall Forsberg, Fredrik; (2021) Translating extensive form games to open games with agency. In: Applied Category Theory 2021. University of Cambridge, Cambridge.

McBride, Conor and Nordvall Forsberg, Fredrik; (2021) Type systems for programs respecting dimensions. In: Advanced Mathematical and Computational Tools in Metrology and Testing XII. Series on Advances in Mathematics for Applied Sciences . World Scientific Publishing Co. Pte Ltd, BIH. (In Press)

2020

Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020) Compositional Game Theory, compositionally. In: Applied Category Theory 2020, 2020-07-06 - 2020-07-10.

Nordvall Forsberg, Fredrik and Xu, Chuangjie and Ghani, Neil; Blanchette, Jasmin and Hritcu, Catalin, eds. (2020) Three equivalent ordinal notation systems in cubical Agda. In: CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, New York, 172–185. ISBN 9781450370974

2019

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2019) Compositional game theory with mixed strategies : probabilistic open games using a distributive law. In: Applied category theory conference 2019, 2019-07-15 - 2019-07-19.

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2019) Universal properties for universal types in bifibrational parametricity. Mathematical Structures in Computer Science, 29 (6). 810–827. ISSN 1469-8072

2018

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975

Ritter, Daniel and May, Norman and Nordvall Forsberg, Fredrik and Rinderle-Ma, Stefanie; (2018) Optimization strategies for integration pattern compositions. In: 12th ACM International Conference on Distributed and Event-based Systems (DEBS). Association for Computing Machinery (ACM), NZL, pp. 88-99.

Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik; Baier, Christel and Dal Lago, Ugo, eds. (2018) Quotient inductive-inductive types. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Cham, pp. 293-310. ISBN 978-3-319-89365-5

2017

Ghani, Neil and McBride, Conor and Nordvall Forsberg, Fredrik and Spahn, Stephan; (2017) Variations on inductive-recursive definitions. In: Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DNK.

2016

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) Proof-relevant parametricity. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science . Springer-Verlag, Switzerland, pp. 109-131. ISBN 9783319309354

Ghani, Neil and Nordvall Forsberg, Fredrik and Simpson, Alex; Jacobs, Bart and Löding, Christof, eds. (2016) Comprehensive parametric polymorphism : categorical models and type theory. In: International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Lecture Notes in Computer Science, 9634 . Springer-Verlag, Berlin, pp. 3-19. ISBN 9783662496305

2015

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; de Paiva, Valeria and de Queiroz, Ruy and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina G., eds. (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, USA, pp. 81-92. ISBN 978-3-662-47708-3

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). 6. ISSN 1860-5974

Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam; Altenkirch, Thorsten, ed. (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, pp. 999-1013.

2013

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik; Heckel, Reiko and Milius, Stefan, eds. (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, POL, pp. 19-33. ISBN 9783642402050

Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut; Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David, eds. (2013) Program extraction from nested definitions. In: Interactive Theorem Proving. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, FRA, pp. 370-385. ISBN 9783642396335

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton; (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, USA, pp. 243-252. ISBN 9781479904136

2012

Nordvall Forsberg, Fredrik and Setzer, Anton; Berger, Ulrich and Hannes, Diener and Schuster, Peter and Seisenberger, Monika, eds. (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921

2011

Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik and Setzer, Anton; Corradini, Andrea and Klin, Bartek and Cîrstea, Corina, eds. (2011) A categorical semantics for inductive-inductive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, GBR, pp. 70-84. ISBN 9783642229435

2010

Nordvall Forsberg, Fredrik and Setzer, Anton; Dawar, Anuj and Veith, Helmut, eds. (2010) Inductive-inductive definitions. In: Computer Science Logic. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, CZE, pp. 454-468. ISBN 9783642152047