Proof of the subject reduction property for a-calculus in COQ
by Loc Henry-grard, Projet Meije
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3698.ps.gz
Add To MetaCart
Abstract:
apport de recherche
Citations
| 886 | A Calculus of Mobile Processes – Milner, Parrow, et al. - 1992 |
| 220 | Typing and subtyping for mobile processes – Pierce, Sangiorgi - 1996 |
| 67 | The Polyadic Pi-Calculus: A Tutorial – Milner - 1991 |
| 41 | Five axioms of alpha-conversion – Gordon, Melham - 1996 |
| 13 | Pure Type Sytems formalized – McKinna, Pollack - 1993 |
| 8 | An Interpretation of Typed Objects into Typed Pi-Calculus – Sangiorgi - 1998 |
| 5 | A mechanized theory of the pi-calculus in HOL – Melham - 1994 |
| 2 | Mise en oeuvre de preuves de bisimulation. Phd thesis, #cole Nationale des Ponts et Chauss#es (ENPC – Hirschkooe - 1999 |
| 1 | Filli#tre G.Huet P.Manoury C.Mu#oz C.Murthy C.Parent C.Paulin-Mohring A. Saibi B.Werner C.Cornes, J.Courant. The coq proof assistant reference manual – JF - 1997 |
| 1 | A full formalisation of pi-calculus theory in the calculus of constructions – Hirschkooe - 1997 |
