General Bindings and Alpha-Equivalence in Nominal Isabelle. (2012)

by C Urban, C Kaliszyk
Venue:Logical Methods in Computer Science,