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

by Daniel Hirschkoff
Venue:Proceedings of TPHOLs’97