TY  - RPRT
TI  - General Bindings and Alpha-Equivalence in Nominal Isabelle
AU  - Christian Urban
AU  - Cezary Kaliszyk
PY  - 2012
DO  - 10.2168/lmcs-8(2:14)2012
UR  - https://arxiv.org/abs/1206.0136
ID  - 1206.0136
ER  -