Matching Power (2001)

Cached

Download Links

by Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Venue:Proceedings of RTA’2001, Lecture Notes in Computer Science, Utrecht (The Netherlands
Citations:31 - 20 self

Documents Related by Co-Citation

65 Exceptions in the rewriting calculus – Germain Faure, Claude Kirchner - 2001
43 Pure Pattern Type Systems – Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2003
22 Rewriting calculus with(out) types – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2002
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
28 Lambda calculus with patterns – Vincent van Oostrom - 1990
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
24 Calcul de Réécriture : Fondements et Applications. Thèse de Doctorat d’Université, Université Henri Poincaré - Nancy I – H Cirstea - 2000
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
66 A Typed Pattern Calculus – Delia Kesner, Laurence Puel, Val Tannen - 1996
26 Rewriting calculus with fixpoints: Untyped and first-order systems – Horatiu Cirstea, Luigi Liquori, Benjamin Wack, Nancy Ii, Nancy I - 2003
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
57 Résolution d’équations dans les langages d’ordre 1�2�����ω. Thèse de doctorat d’état, Université Paris 7 – G Huet - 1976
54 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
14 Typage et déduction dans le calcul de réécriture – B Wack
854 A formulation of the simple theory of types – Alonzo Church - 1940
18 Rewrite Strategies in the Rewriting Calculus – Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack - 2003
300 Natural semantics – G. Kahn - 1987
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997