1 citations · 1 across the 1 of their papers we have counts for
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…