Save this page
Save this page

My Saved Pages

  • Saved page.

My Saved Courses

  • Saved page.

Recently visited

  • Saved page.

Dr Fredrik Nordvall Forsberg

Research Associate

Computer and Information Sciences


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 ScienceLeibniz International Proceedings in Informatics, (2017)
Comprehensive parametric polymorphism : categorical models and type theory
Ghani Neil, Nordvall Forsberg Fredrik, Simpson Alex
Foundations of Software Science and Computation StructuresLecture Notes in Computer Science, pp. 3-19, (2016)
Bifibrational functorial semantics of parametric polymorphism
Ghani Neil, Johann Patricia, Forsberg Fredrik Nordvall, Orsanigo Federico, Revell Tim
Electronic Notes in Theoretical Computer Science Vol 319, pp. 165-181, (2015)
Parametric polymorphism - universally
Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
Logic, Language, Information, and ComputationLecture Notes in Computer Science Vol 9160, pp. 81-92, (2015)
Positive inductive-recursive definitions
Ghani Neil, Nordvall Forsberg Fredrik, Malatesta Lorenzo
Logical Methods in Computer Science Vol 11, (2015)
Extracting verified decision procedures : DPLL and resolution
Berger Ulrich, Lawrence Andrew, Nordvall Forsberg Fredrik, Seisenberger Monika
Logical Methods in Computer Science Vol 11, (2015)

more publications


Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map