The Virtues of Eta-expansion (1993)

Cached

Download Links

by C. Barry Jay , Neil Ghani
Citations:36 - 4 self

Active Bibliography

betaeta-Equality for Coproducts – Neil Ghani - 1995
25 Adjoint Rewriting – Neil Ghani - 1995
6 Eta Expansions in System F – Neil Ghani - 1996
13 Eta-Expansions in Dependent Type Theory - The Calculus of Constructions – Neil Ghani - 1997
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
17 Simulating Expansions Without Expansions – Roberto Di Cosmo, Roberto Di Cosmo, Delia Kesner, Delia Kesner - 1993
8 A Brief History of Rewriting With Extensionality – Roberto Di Cosmo, Ecole Normale Superieure, Roberto Di, Cosmo Glasgow, M) M - 1996
8 Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints – Roberto Di Cosmo, Roberto Di, Delia Kesner
9 On the Power of Simple Diagrams – Roberto Di Cosmo - 1996
11 Expanding Extensional Polymorphism – Roberto Di Cosmo, Adolfo Piperno - 1995
33 On Girard’s “Candidats de Réductibilité – Jean H. Gallier, Jean H. Gallier - 1990
Representation of Relations By Partial Maps – Bernhard Banaschewski, Xiaomin Dong, Walter Tholen
9 A Semantics for Static Type Inference – Gordon Plotkin - 1993
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
3 Reasoning about Layered, Wildcard and Product Patterns – Delia Kesner - 1994
12 Confluence of Extensional and Non-Extensional λ-calculi with Explicit Substitutions – Delia Kesner
FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS MICHAEL SHULMAN – unknown authors - 706