New Foundations for Fixpoint Computations (1990)

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