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

by D Hirschkoff