beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.

Roussanka Loukanova

Browse the full IWANN paper archive.