T. F. Melham
T. F. Melham.
A mechanized theory of the Pi-calculus in HOL.
Nordic Journal of Computing
, 1(1):50-76, Spring 1994.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database