Dr Fredrik Nordvall Forsberg

Strathclyde Chancellor's Fellow

Computer and Information Sciences

Publications

Compositional game theory with mixed strategies : probabilistic open games using a distributive law
Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
Applied category theory conference 2019, pp. 1-12 (2019)
Universal properties for universal types in bifibrational parametricity
Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
Mathematical Structures in Computer Science Vol 29, pp. 810–827 (2019)
https://doi.org/10.1017/S0960129518000336
A compositional treatment of iterated open games
Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
Theoretical Computer Science Vol 741, pp. 48-57 (2018)
https://doi.org/10.1016/j.tcs.2018.05.026
Optimization strategies for integration pattern compositions
Ritter Daniel, May Norman, Nordvall Forsberg Fredrik, Rinderle-Ma Stefanie
12th ACM International Conference on Distributed and Event-based Systems (DEBS) 12th ACM International Conference on Distributed and Event-Based Systems (2018)
https://doi.org/10.1145/3210284.3210295
Quotient inductive-inductive types
Altenkirch Thorsten, Capriotti Paolo, Dijkstra Gabe, Kraus Nicolai, Nordvall Forsberg Fredrik
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science Vol 10803, pp. 293-310 (2018)
https://doi.org/10.1007/978-3-319-89366-2
Variations on inductive-recursive definitions
Ghani Neil, McBride Conor, Nordvall Forsberg Fredrik, Spahn Stephan
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science 42nd International Symposium on Mathematical Foundations of Computer Science Leibniz International Proceedings in Informatics (2017)
https://doi.org/10.4230/LIPIcs.MFCS.2017.63

more publications

Professional activities

Second Symposium on Compositional Structures
Organiser
17/12/2018
23rd International Conference on Types for Proofs and Programs (Event)
Guest editor
12/2018
Agda Implementor's Meeting XXIII
Organiser
20/4/2017
Scottish Programming Languages Seminar
Organiser
9/11/2016

more professional activities

Projects

KTP - Cambridge Quantum Computing (CQC)
McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
05-Jan-2019 - 04-Jan-2021

more projects

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map