# 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

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