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

by Unknown Authors