A Formalization of a Concurrent Object Calculus Up to Alpha-Conversion (1999)

Cached

Download Links

by Guillaume Gillard , Inria Sophia Antipolis
Citations:3 - 0 self

Documents Related by Co-Citation

96 Semantical analysis of higher-order abstract syntax – M Hofmann - 1999
90 Reasoning with higher-order abstract syntax in a logical framework – Raymond C. Mcdowell, Dale A. Miller - 2002
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
10 Two-level meta-reasoning in Coq – Amy P Felty
12 Developing (Meta)Theory of lambda-calculus in the Theory of Contexts – Marino Miculan - 2001
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
4 A proof of type preservation for the pi-calculus – Loc HenryGreard - 1998
3 A full formalization of pi-calculus theory in the Calculus of Constructions – Daniel Hirschkooe - 1997
2 Mise en oeuvre de preuves de bisimulation. Phd thesis, #cole Nationale des Ponts et Chauss#es (ENPC – Daniel Hirschkooe - 1999
10 Inductive de��nitions in the system Coq; rules and properties – C Paulin-Mohring - 1993
3 A modal -calcul with iteration and case constructs – Joelle Despeyroux, Pierre Leleu - 1998
13 pi-calculus in (Co)Inductive Type Theory – Furio Honsell, Marino Miculan, Ivan Scagnetto - 2001
11 The Coq Proof Assistant: A Tutorial: Version 6.1 – Gérard Huet, Gilles Kahn, Christine Paulin-Mohring - 1997
81 A Concurrent Object Calculus: Reduction and Typing – Andrew D. Gordon, Paul D. Hankin - 1998
96 The Coq proof assistant reference manual (version 8.4 – B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, D de Rauglaudre, J C Filliâtre, E Giménez, H Herbelin - 2012
31 A mechanisation of name-carrying syntax up to alpha-conversion – Andrew D Gordon - 1994
64 The π-Calculus in Direct Style – Gerard Boudol - 1997
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003