A Framework for the Formalisation of Pi-Calculus Type Systems (2001)

by S Gay
Venue:in Isabelle/HOL, Proc. TPHOLs01