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

Research Output 2008 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
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
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)
58 Downloads (Pure)

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)
66 Downloads (Pure)

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)
1 Downloads (Pure)

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

26 Downloads (Pure)

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