Save this page
Save this page

My Saved Pages

  • Saved page.

My Saved Courses

  • Saved page.
Reset

Recently visited

  • Saved page.

Dr Fredrik Nordvall Forsberg

Research Associate

Computer and Information Sciences

Publications

Quotient inductive-inductive types
Altenkirch Thorsten, Capriotti Paolo, Dijkstra Gabe, Kraus Nicolai, Nordvall Forsberg Fredrik
Foundations of Software Science and Computation StructuresLecture Notes in Computer Science Vol 10803, (2017)
http://dx.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 ScienceLeibniz International Proceedings in Informatics, (2017)
http://dx.doi.org/10.4230/LIPIcs.MFCS.2017.63
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)
http://dx.doi.org/10.1007/978-3-662-49630-5_1
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)
http://dx.doi.org/10.1016/j.entcs.2015.12.011
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)
http://dx.doi.org/10.1007/978-3-662-47709-0_7
Positive inductive-recursive definitions
Ghani Neil, Nordvall Forsberg Fredrik, Malatesta Lorenzo
Logical Methods in Computer Science Vol 11, (2015)
http://dx.doi.org/10.2168/LMCS-11(1:13)2015

more publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map