University > Research portal > Researchers > Roy Dyckhoff
Person
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
Research output: Contribution to journal › Article
Activity: Talk or presentation types › Invited talk
Activity: Publication peer-review and editorial work types › Editor of research journal
Activity: Participating in or organising an event types › Participation in or organising a conference
Hammond, K. & Dyckhoff, R.
European Commission
1/03/05 → 28/02/09
Project: Standard
Dyckhoff, R.
EPSRC
1/10/08 → 30/09/11
Project: Fellowship
1/02/07 → 31/08/07
Discover related content Find related publications, people, projects and more using interactive charts.