Barry Jay's Research Interests
My main area of research at present is
The Pattern Calculus
and its applications in programming language design. Other topics I have written on are:
Shape Theory
Loops
Order Enriched Categories
Internal Languages