A Mechanized Theory of the π−calculus in HOL
T. F. Melham
Book Title
Proceedings of the Second Workshop on Logical Frameworks
Editor
G. Huet and G. Plotkin
Note
Preliminary proceedings‚ published electronically after the workshop
Pages
219–237
Publisher
University of Edinburgh
Year
1991