Effective Longest and Infinite Reduction Paths in Untyped λ-Calculi (1996)

Cached

Download Links

by Morten Heine Sørensen
Citations:5 - 2 self