Psi-Calculi in Isabelle

by Jesper Bengtson , Joachim Parrow
Venue:In Proc of the 22nd Conference on Theorem Proving in Higher Order Logics (TPHOLs), volume 5674 of LNCS
Citations:11 - 4 self