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

by Steffen Van Bakel , Maribel Fernández
Venue:Theoretical Computer Science
Citations:12 - 11 self