Publications

CRSX-Combinatory Reduction Systems with Extensions

• • Kristoffer H. Rose
• 2011
• RTA 2011