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

Research Output 2009 2019

Filter
Article
2019

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)

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
1 Citation (Scopus)

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)

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

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