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

Research Output 2008 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

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
2012
7 Citations (Scopus)

Generic fibrational induction

Ghani, N., Johann, P. & Fumex, C., 19 Jun 2012, In : Logical Methods in Computer Science. 8, 2, 12.

Research output: Contribution to journalArticle

Rule Induction
Proof by induction
Polynomials
Hyperfunctions
Syntactics
10 Citations (Scopus)

Refining inductive types

Atkey, R., Johann, P. & Ghani, N., 4 Jun 2012, In : Logical Methods in Computer Science. 8, 2, 30 p., 9.

Research output: Contribution to journalArticle

File
Refining
Refinement
Computer programming languages
Programming
Type Systems
2011
13 Citations (Scopus)

Modularity and implementation of mathematical operational semantics

Jaskelioff, M., Ghani, N. & Hutton, G., 8 Mar 2011, In : Electronic Notes in Theoretical Computer Science. 229, 5, p. 75-95 21 p.

Research output: Contribution to journalArticle

Operational Semantics
Modularity
Semantics
Categorical
Structural Operational Semantics
2009
2 Citations (Scopus)

A principled approach to programming with nested types in Haskell

Johann, P. & Ghani, N., 30 Jun 2009, In : Higher-Order and Symbolic Computation. 22, 2, p. 155-189 35 p.

Research output: Contribution to journalArticle

Computer programming
Algebra
Semantics
Functional programming
Religious buildings
10 Citations (Scopus)

A universe of strictly positive families

Morris, P., Altenkirch, T. & Ghani, N., Feb 2009, In : International Journal of Foundations of Computer Science. 20, 1, p. 83-107 25 p.

Research output: Contribution to journalArticle

Representations of stream processors using nested fixed points

Hancock, P., Pattinson, D. & Ghani, N., 15 Sep 2009, In : Logical Methods in Computer Science. 5, 3, p. 1-17 17 p., 9.

Research output: Contribution to journalArticle

Open Access
File
Fixed point
Continuous Function
Fixpoint
Justification
Elimination