UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Quick Links


Paper ID: 6100

A Mechanized Theory of the pi-calculus in {HOL}
Melham,T.F.

Publication Type: Conference Proceedings
Appeared in: Proceedings of the Second Workshop on Logical Frameworks
Page Numbers : 219-237
Publisher: University of Edinburgh
Year: 1991
ISBN/ISSN:
Abstract:

No abstract available.


Bibtex entry Endnote XML