If you made any changes in Pure these will be visible here soon.

Research Output 2009 2020

Filter
Article
2019
4 Downloads (Pure)

Universal properties for universal types in bifibrational parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 30 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 810–827 18 p.

Research output: Contribution to journalArticle

Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model
2018
2 Citations (Scopus)
24 Downloads (Pure)

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
2015
2 Citations (Scopus)
96 Downloads (Pure)

Bifibrational functorial semantics of parametric polymorphism

Ghani, N., Johann, P., Forsberg, F. N., Orsanigo, F. & Revell, T., 21 Dec 2015, In : Electronic Notes in Theoretical Computer Science. 319, p. 165-181 17 p.

Research output: Contribution to journalArticle

Open Access
File
Polymorphism
Semantics
Categorical
Invariance
Algebra
1 Citation (Scopus)
51 Downloads (Pure)

Extracting verified decision procedures: DPLL and resolution

Berger, U., Lawrence, A., Nordvall Forsberg, F. & Seisenberger, M., 10 Mar 2015, In : Logical Methods in Computer Science. 11, 1, 18 p., 6.

Research output: Contribution to journalArticle

Open Access
File
Decision Procedures
Proof System
Interactive Proofs
Conjunctive Normal Form
Haskell
57 Downloads (Pure)

Positive inductive-recursive definitions

Ghani, N., Nordvall Forsberg, F. & Malatesta, L., 27 Mar 2015, In : Logical Methods in Computer Science. 11, 1, 13.

Research output: Contribution to journalArticle

Open Access
File
Recursive functions
Algebra
Functor
Morphisms
Recursive Functions