Crole, R. L., & Pitts, A. M. (1990). New foundations for fixpoint computations: Fix-hyperdoctrines and the fix-logic.
Chicago-Zitierstil (17. Ausg.)Crole, Roy L., und Andrew M. Pitts. New Foundations for Fixpoint Computations: Fix-hyperdoctrines and the Fix-logic. Cambridge, 1990.
MLA-Zitierstil (9. Ausg.)Crole, Roy L., und Andrew M. Pitts. New Foundations for Fixpoint Computations: Fix-hyperdoctrines and the Fix-logic. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.