Inductive-inductive definitions F Nordvall Forsberg, A Setzer Computer Science Logic, 454-468, 2010 | 82 | 2010 |
Quotient inductive-inductive types T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg International Conference on Foundations of Software Science and Computation …, 2018 | 77 | 2018 |
A categorical semantics for inductive-inductive definitions T Altenkirch, P Morris, F Nordvall Forsberg, A Setzer Algebra and Coalgebra in Computer Science, 70-84, 2011 | 33 | 2011 |
Bifibrational functorial semantics of parametric polymorphism N Ghani, P Johann, F Nordvall Forsberg, F Orsanigo, T Revell The 31st Conference on the Mathematical Foundations of Programming Semantics …, 2016 | 24 | 2016 |
A finite axiomatisation of inductive-inductive definitions F Nordvall Forsberg, A Setzer | 23* | 2012 |
A compositional treatment of iterated open games N Ghani, C Kupke, A Lambert, F Nordvall Forsberg Theoretical Computer Science, 2018 | 19 | 2018 |
Optimization strategies for integration pattern compositions D Ritter, F Nordvall Forsberg, N May, S Rinderle-Ma Distributed and Event-based Systems, 2018 | 17 | 2018 |
Translating extensive form games to open games with agency M Capucci, N Ghani, J Ledent, F Nordvall Forsberg Applied Category Theory 2021, 221-234, 2021 | 15 | 2021 |
Three equivalent ordinal notation systems in cubical Agda F Nordvall Forsberg, C Xu, N Ghani Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 15 | 2020 |
Extracting verified decision procedures: DPLL and Resolution U Berger, A Lawrence, F Nordvall Forsberg, M Seisenberger Logical Methods in Computer Science 11 (1), 2015 | 15 | 2015 |
Program Extraction from Nested Definitions K Miyamoto, F Nordvall Forsberg, H Schwichtenberg Interactive Theorem Proving, 2013 | 15 | 2013 |
Set-theoretic and type-theoretic ordinals coincide T de Jong, N Kraus, F Nordvall Forsberg, C Xu Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), 2023 | 10 | 2023 |
Connecting constructive notions of ordinals in homotopy type theory N Kraus, F Nordvall Forsberg, C Xu 46th International Symposium on Mathematical Foundations of Computer Science …, 2021 | 10 | 2021 |
Proof-relevant parametricity N Ghani, F Nordvall Forsberg, F Orsanigo A List of Successes That Can Change the World 9600, 109--131, 2016 | 10 | 2016 |
Fibred data types N Ghani, L Malatesta, F Nordvall Forsberg, A Setzer Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on …, 2013 | 10 | 2013 |
Type-theoretic approaches to ordinals N Kraus, F Nordvall Forsberg, C Xu Theoretical Computer Science 957, 113843, 2023 | 9 | 2023 |
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory N Ghani, F Nordvall Forsberg, A Simpson Foundations of Software Science and Computation Structures 9634, 3--19, 2016 | 9 | 2016 |
Positive Inductive-Recursive Definitions L Malatesta, F Nordvall Forsberg, N Ghani Logical Methods in Computer Science 11, 2015 | 9* | 2015 |
Compositional game theory with mixed strategies: probabilistic open games using a distributive law N Ghani, C Kupke, A Lambert, F Nordvall Forsberg Applied category theory conference 2019, 1-12, 2019 | 6 | 2019 |
Parametric Polymorphism—Universally N Ghani, F Nordvall Forsberg, F Orsanigo WoLLIC, 2015 | 6 | 2015 |