Takip et
Fredrik Nordvall Forsberg
Fredrik Nordvall Forsberg
University of Strathclyde
strath.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
852018
Inductive-inductive definitions
F Nordvall Forsberg, A Setzer
Computer Science Logic, 454-468, 2010
832010
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
332011
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
242016
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
202018
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
162021
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
162020
Optimization strategies for integration pattern compositions
D Ritter, F Nordvall Forsberg, N May, S Rinderle-Ma
Distributed and Event-based Systems, 2018
162018
Extracting verified decision procedures: DPLL and Resolution
U Berger, A Lawrence, F Nordvall Forsberg, M Seisenberger
Logical Methods in Computer Science 11 (1), 2015
162015
Program Extraction from Nested Definitions
K Miyamoto, F Nordvall Forsberg, H Schwichtenberg
Interactive Theorem Proving, 2013
162013
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
112023
Type-theoretic approaches to ordinals
N Kraus, F Nordvall Forsberg, C Xu
Theoretical Computer Science 957, 113843, 2023
102023
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
102021
Proof-relevant parametricity
N Ghani, F Nordvall Forsberg, F Orsanigo
A List of Successes That Can Change the World 9600, 109--131, 2016
102016
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
102013
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
92016
Positive Inductive-Recursive Definitions
L Malatesta, F Nordvall Forsberg, N Ghani
Logical Methods in Computer Science 11, 2015
8*2015
Type systems for programs respecting dimensions
C McBride, F Nordvall Forsberg
Advanced Mathematical and Computational Tools in Metrology and Testing XII …, 2021
72021
Measuring with confidence: leveraging expressive type systems for correct-by-construction software
C McBride, G Nakov, F Nordvall Forsberg
Acta IMEKO 12 (1), 1-5, 2023
62023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20