Formalising in Nominal Isabelle Crary’s Completeness Proof for Equivalence Checking (2007)

by Julien Narboux , Christian Urban
Venue:LFMTP 2007
Citations:3 - 1 self