Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.

Steffen van Bakel, Franco Barbanera, Maribel Fernndez

Browse the full ESOP paper archive.