Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. (1991)

Cached

Download Links

by Luc Maranget
Citations:34 - 0 self