Combinatory Reduction Systems with Explicit Substitution (1996)

Cached

Download Links

by Roel Bloo , Kristoffer H. Rose
Venue:REWRITING TECHNIQUES AND APPLICATIONS (RTA), LECTURE NOTES IN COMPUTER SCIENCE
Citations:16 - 2 self