A full formalization of pi-calculus theory in the Calculus of Constructions (1997)

by Daniel Hirschkooe
Venue:Proceedings of the International Conference on Theorem Proving in Higher Order Logics