Andrew Cave

PhD student in Computer Science
McGill University
McConnell Engineering Building, Rm 225
email

Research

I work on type systems, logic, and systems for reasoning about and programming with binders and substitution.

I'm advised by Brigitte Pientka

Publications

Drafts and Technical Reports