# Fingerprint Dive into the research topics where Bob Atkey 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

Semantics

Computer programming languages

Functional programming

Syntactics

Data structures

Invariance

Polymorphism

Context free grammars

Algebra

Refining

Communication

Computer programming

Static analysis

Parameterization

Computer science

Clocks

Conservation

Physics

Productivity

Polynomials

Concretes

Specifications

Network protocols

Recovery

Defects

Substitution reactions

Linear programming

Linear algebra

Servers

Binders

Printing

### Mathematics

Polymorphism

Separation Logic

Categorical

Monads

Type Theory

Refinement

Isomorphic

Adjunction

Algebra

Resources

Model

Closed

Relational Model

Fibration

Term

Logic

Group Action

Parametric Model

Demonstrate

Theorem

Heap

Invariance