A Typed Pattern Calculus (1996)

by Delia Kesner , Laurence Puel , Val Tannen
Venue:ACM Trans. Program. Lang. Syst
Citations:66 - 15 self

Documents Related by Co-Citation

61 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi – Jean Gallier - 1992
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
616 Light Linear Logic – Jean-yves Girard
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
208 Modal Logics – R Feys - 1965
7 Verifying the meta-theory of deductive systems. Thesis Proposal – Ekkehard Rohwedder - 1994
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
125 Higher-order critical pairs – T Nipkow - 1991
47 The correspondence between cut-elimination and normalization I – J I Zucker - 1974
22 Rewriting calculus with(out) types – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2002
43 Pure Pattern Type Systems – Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2003
65 Exceptions in the rewriting calculus – Germain Faure, Claude Kirchner - 2001
31 Matching Power – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
28 Lambda calculus with patterns – Vincent van Oostrom - 1990