Displaying similar documents to “ECO species.”

Restricted 123-involutions.

Guibert, O., Mansour, Toufik (2002)

Séminaire Lotharingien de Combinatoire [electronic only]

Similarity:

Beta-reduction as unification

A. Kfoury (1999)

Banach Center Publications

Similarity:

We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.