Barry Jay

• Pattern Calculus
• The structure of free closed categories