Dr Willem Heijltjes Dr Willem Heijltjes
Willem is an academic member of staff in the Department of Computer Science.
Research
- Proof nets
- Deep-inference proof theory
- Lambda calculus
- Logic and semantics
This person is available to supervise research degree projects
Publications
Role
Related posts
- Prize Fellow