Psi-calculi in Isabelle (0)

by J Bengtson, J Parrow
Venue:TPHOLs’09, volume 5674 of LNCS