Picture of neon light reading 'Open'

Discover open research at Strathprints as part of International Open Access Week!

23-29 October 2017 is International Open Access Week. The Strathprints institutional repository is a digital archive of Open Access research outputs, all produced by University of Strathclyde researchers.

Explore recent world leading Open Access research content this Open Access Week from across Strathclyde's many research active faculties: Engineering, Science, Humanities, Arts & Social Sciences and Strathclyde Business School.

Explore all Strathclyde Open Access research outputs...

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item type | No Grouping
Number of items: 13.

Article

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika (2015) Extracting verified decision procedures : DPLL and resolution. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Book Section

Ghani, Neil and Nordvall Forsberg, Fredrik and Simpson, Alex (2016) Comprehensive parametric polymorphism : categorical models and type theory. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, 9634 . Springer Berlin/Heidelberg, pp. 3-19. ISBN 978-3-662-49630-5

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, pp. 81-92. ISBN 978-3-662-47708-3

Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 999-1013.

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 19-33. ISBN 9783642402050

Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut (2013) Program extraction from nested definitions. In: Interactive Theorem Proving. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 370-385. ISBN 9783642396335

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, New York, pp. 243-252. ISBN 9781479904136

Nordvall Forsberg, Fredrik and Setzer, Anton (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921

Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik and Setzer, Anton (2011) A categorical semantics for inductive-inductive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 70-84. ISBN 9783642229435

Nordvall Forsberg, Fredrik and Setzer, Anton (2010) Inductive-inductive definitions. In: Computer Science Logic. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 454-468. ISBN 9783642152047

Thesis

Nordvall Forsberg, Fredrik (2009) Constructive aspects of models for non-standard analysis. Masters thesis, Uppsala University.

This list was generated on Sun Oct 22 23:57:38 2017 BST.