DMCA

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL (2000)

Cached

Download Links

by Simon J. Gay
Venue:in Isabelle/HOL, Proc. TPHOLs01
Citations:4 - 0 self