1 citations · 1 across the 1 of their papers we have counts for
1 paper
Emmanuel Suárez Acevedo, Stephanie Weirich
Mechanical proofs by logical relations often involve tedious reasoning about substitution. In this paper, we show that this is not necessarily the case, by developing, in Agda, a p…