Normalisation, Approximation, and Semantics for Combinator Systems (2003)

by S VAN BAKEL, M FERNÁNDEZ
Venue:Theoretical Computer Science