# 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.

- Sort by
- Weight
- Alphabetically

### 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