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

Fingerprint Dive into the research topics where Neil Ghani is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Algebra
Chemical analysis
Computer programming
Computer programming languages
Computer science
Containers
Data structures
Decoding
Economics
Functional programming
Game theory
Invariance
Polymorphism
Polynomials
Probability distributions
Recursive functions
Refining
Semantics
Set theory
Structured programming
Syntactics

Mathematics

Algebra
Categorical
Coalgebra
Coinduction
Compositionality
Container
Continuous Function
Economics
Elimination
Equality
Express
Fibration
Fixed point
Functional Programming
Functor
Game
Group Action
High-dimensional
Hyperfunctions
Infinite Games
Invariance
Lemma
Model
Modularity
Monads
Morphisms
Operational Semantics
Polymorphism
Polynomial
Programming
Programming Languages
Proof by induction
Quotient
Recursion
Refinement
Relational Model
Representation of data
Restriction
Rule Induction
Simple Game
Structural Operational Semantics
Theorem
Type Theory
Uniformity