Skip to content

Research at St Andrews

Roy Dyckhoff

Person

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

Email: rd@st-andrews.ac.uk

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