2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Nick Benton, Martin Hofmann, Vivek Nigam
Pitts and Stark's ν-calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation. Models for the $ν…