Active Bibliography

Rewriting with Extensional Polymorphic λ-calculus – Roberto Di Cosmo, Delia Kesner - 1996
8 Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints – Roberto Di Cosmo, Roberto Di, Delia Kesner
8 A Brief History of Rewriting With Extensionality – Roberto Di Cosmo, Ecole Normale Superieure, Roberto Di, Cosmo Glasgow, M) M - 1996
9 On the Power of Simple Diagrams – Roberto Di Cosmo - 1996
3 Adjoint Rewriting and the !-type constructor – Neil Ghani - 1996
Eta-Expansions III - F omega – Neil Ghani - 1996
22 Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract) – Delia Kesner - 1996
3 A Confluent Reduction for the Extensional Typed Lambda-Calculus With Pairs, Sums, Recursion and Terminal Object – Roberto Di Cosmo, Delia Kesner - 1993
11 Expanding Extensional Polymorphism – Roberto Di Cosmo, Adolfo Piperno - 1995
betaeta-Equality for Coproducts – Neil Ghani - 1995
9 Pattern Matching as Cut Elimination – Serenella Cerrito, Delia Kesner - 1999
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
1 Simulating eta-Expansions with beta-Reductions in the Second-Order Polymorphic -Calculus – Hongwei Xi - 1996
20 Some Lambda Calculi With Categorical Sums and Products – Daniel J. Dougherty - 1993
6 Eta Expansions in System F – Neil Ghani - 1996
3 Reasoning about Layered, Wildcard and Product Patterns – Delia Kesner - 1994
LIENS (CNRS)- DMI – Roberto Di Cosmo, Ecole Normale Supérieure - 1999
1 Reasoning about Redundant Patterns – Delia Kesner, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, A. Krall, H. Kuchen, J. Launchbury, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren - 1997
17 Simulating Expansions Without Expansions – Roberto Di Cosmo, Roberto Di Cosmo, Delia Kesner, Delia Kesner - 1993