Department of Computer Science
 

Lecturer

1 West 4.67

Dept of Computer Science

Email: w.b.heijltjes@bath.ac.uk

Personal page

 

Dr Willem Heijltjes

Profile

Research Interests

I investigate the nature of formal proof, in search of geometric representations that capture its essence. Such objects, often called `proof nets´, enable a deep understanding of logic, of fundamental structures in category theory, and of the foundational aspects of computation.

Publications

Read publications by Willem Heijltjes

View more publications »