From IF to BI

This publication has 22 references indexed in Scilit:

• BI-hyperdoctrines, higher-order separation logic, and abstraction
  ACM Transactions on Programming Languages and Systems, 2007
• Monoid based semantics for linear formulas
  The Journal of Symbolic Logic, 2001
• Some combinatorics of imperfect information
  The Journal of Symbolic Logic, 2001
• Compositional semantics for a language of imperfect information
  Logic Journal of the IGPL, 1997
• Quantales and (noncommutative) linear logic
  The Journal of Symbolic Logic, 1990
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 1977
• Semantics for relevant logics
  The Journal of Symbolic Logic, 1972
• On Extensions of Elementary Logic
  Theoria, 1969
• Adjointness in Foundations
  Dialectica, 1969
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950