2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Nick Benton, Martin Hofmann, Vivek Nigam
We introduce a novel variant of logical relations that maps types not merely to partial equivalence relations on values, as is commonly done, but rather to a proof-relevant general…