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

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