New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic (1990)

by R L Crole, A M Pitts