Peter Schroeder-Heister
-
Logical frameworks
Handbook of automated reasoning
On bunched typing
Journal of Functional Programming