General Bindings and Alpha-Equivalence in Nominal Isabelle

Christian Urban, Cezary Kaliszyk
  • Logical Methods in Computer Science, June 2012, Logical Methods in Computer Science
  • DOI: 10.2168/lmcs-8(2:14)2012
The author haven't finished explaining this publicationThe author haven't finished explaining this publication

The following have contributed to this page: Cezary Kaliszyk