Fredrik Nordvall Forsberg

Cited by

	All	Since 2018
Citations	391	277
h-index	11	10
i10-index	12	10

201020112012201320142015201620172018201920202021202220232 6 3 10 8 19 22 36 40 33 49 63 45 45

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
Chuangjie XuStatic Analysis Scientist, SonarSourceVerified email at sonarsource.com
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Paolo CapriottiPostdoc, Technische Universität DarmstadtVerified email at mathematik.tu-darmstadt.de
Lorenzo MalatestaDocente di matematica e fisica presso liceo scientifico Enrico Fermi, BolognaVerified email at liceofermibo.edu.it
Ulrich BergerAssociate Professor of Computer Science, Swansea University, UKVerified email at swansea.ac.uk
Matteo CapucciUniversity of StrathclydeVerified email at strath.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Monika SeisenbergerLecturer in Computer Science, Swansea UniversityVerified email at swansea.ac.uk
Norman MaySAP SEVerified email at sap.com
Stefanie Rinderle-MaFull Professor, Technical University of Munich, Department of InformaticsVerified email at tum.de
Daniel RitterSAP SE, University of Heidelberg, University of Vienna, University of PotsdamVerified email at alumni.uni-heidelberg.de
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Bruno GavranovićPhD studentVerified email at strath.ac.uk

Fredrik Nordvall Forsberg

University of Strathclyde

Verified email at strath.ac.uk - Homepage

Type Theory Compositionality Logic and Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Inductive-inductive definitions F Nordvall Forsberg, A Setzer Computer Science Logic, 454-468, 2010	80	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	73	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	32	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	20*	2012
A compositional treatment of iterated open games N Ghani, C Kupke, A Lambert, F Nordvall Forsberg Theoretical Computer Science, 2018	16	2018
Optimization strategies for integration pattern compositions D Ritter, F Nordvall Forsberg, N May, S Rinderle-Ma Distributed and Event-based Systems, 2018	15	2018
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
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	12	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	12	2020
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
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	9	2021
Proof-relevant parametricity N Ghani, F Nordvall Forsberg, F Orsanigo A List of Successes That Can Change the World 9600, 109--131, 2016	9	2016
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
Type-theoretic approaches to ordinals N Kraus, F Nordvall Forsberg, C Xu Theoretical Computer Science 957, 113843, 2023	4	2023
Compositional Game Theory, Compositionally R Atkey, B Gavranovic, N Ghani, C Kupke, J Ledent, F Nordvall Forsberg Applied Category Theory 2020, 2020	3	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors