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
Semantics
Polymorphism
Computer programming languages
Polynomials
Containers
Game theory
Syntactics
Structured programming
Functional programming
Recursive functions
Data structures
Economics
Computer programming
Probability distributions
Refining
Invariance
Chemical analysis
Computer science
Set theory
Decoding

Mathematics

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