New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (1992)

by Roy L Crole, Andrew M Pitts
Venue:Information and Computation