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

This publication has 7 references indexed in Scilit:

• Computational lambda-calculus and monads
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Notions of computation and monads
  Information and Computation, 1991
• The calculus of constructions
  Information and Computation, 1988
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
  Mathematical Logic Quarterly, 1983
• The Category-Theoretic Solution of Recursive Domain Equations
  SIAM Journal on Computing, 1982
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981
• LCF considered as a programming language
  Theoretical Computer Science, 1977