Skip to content

Research at St Andrews

Roy Dyckhoff


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