Loïc Henry-Gréard  Home/Search
Context
Related
| sop.inria.fr/meije/person...param_pi.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/meije/personnel/L... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ce rapport pr#sente une m#thode de codage du -calcul dans le syst#me d'aide # la preuve COQ, en vue d'eoeectuer dans cet environnement des preuves de propri#t#s du -calcul. La m#thode employ#e pour coder les noms consiste en la s#paration syntaxique des noms libres (param#tres) et des noms li#s (variables), en vue d'#viter les renommages implicites dans les substitutions, technique employ#e par J.McKinna et R.Pollack [4]. La preuve eoeectu#e ici est celle de la propri#t# de conservation des... (Update)
Similar documents based on text: More All
0.6: Proof of the subject reduction property for a π-calculus in.. - Henry-Gérard (1999) (Correct)
0.3: Test de programme à partir de spécifications B: les problèmes - Alnet (1996) (Correct)
0.3: Composition Symbolique - Correnson, Duris, Parigot, Roussel (1997) (Correct)
BibTeX entry: (Update)
@misc{ ard-preuve,
author = "Loïc Henry-Gréard",
title = "Preuve de la conservation des types du π-calcul en COQ",
url = "citeseer.ist.psu.edu/722757.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner - 1989
146 Typing and subtyping for mobile processes - Sangiorgi - 1995
43 The polyadic pi-calculus : a tutorial - Milner - 1991
31 Five axioms of alpha-conversion - Andrew
17 Some lambda calculus and type theory formalized - James - 1997
4 A full formalisation of pi-calculus theory in the calculus o.. (context) - Hirschkooe - 1997
4 An interpretation of typed objects into typed picalculus - Sangiorgi - 1996
2 The Coq Proof Assistant Reference Manual (context) - Filli, Huet et al. - 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC