New Foundations for Fixpoint Computations (1990)

Cached

Download Links

by Roy L. Crole , Andrew M. Pitts
Citations:12 - 4 self