Foundations are rich institutions, but institutions are poor foundations

This publication has 24 references indexed in Scilit:

• Power domains and predicate transformers: A topological view
  Published by Springer Nature ,2005
• Generalised algebraic theories and contextual categories
  Published by Elsevier ,2003
• Categorical semantics for higher order polymorphic lambda calculus
  The Journal of Symbolic Logic, 1987
• Linear logic
  Theoretical Computer Science, 1987
• Locally cartesian closed categories and type theory
  Mathematical Proceedings of the Cambridge Philosophical Society, 1984
• Equational partiality
  Algebra universalis, 1983
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
  Mathematical Logic Quarterly, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Functional completeness of cartesian categories
  Annals of Mathematical Logic, 1974
• Adjointness in Foundations
  Dialectica, 1969