1 paper
Terrance Gray, Gopalan Nadathur
When reasoning about formal objects whose structures involve binding, it is often necessary to analyze expressions relative to a context that associates types, values, and other re…