Skip to content

Research at St Andrews

Roy Dyckhoff


Roy Dyckhoff
Postal address:
School of Computer Science
North Haugh
St Andrews
United Kingdom


Direct phone: +44 (0)1334 46

Research overview

intuitionistic logic; constructive logic; constructive mathematics; automated reasoning; category theory; logic programming; proof theory; type theory; functional programming; lambda calculus; programming language semantics; computational linguistics

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations