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

by R Crole, A M Pitts
Venue:Information and Computation