Nominal techniques in Isabelle/HOL (0)

by C Urban
Venue:Journal of Automated Reasoning