most citedLocally Nameless Permutation Types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2017★ 2 cited

Locally Nameless Permutation Types

Edsko de Vries, Vasileios Koutavas

We define "Locally Nameless Permutation Types", which fuse permutation types as used in Nominal Isabelle with the locally nameless representation. We show that this combination is…