Domain Theory in Logical Form

Geahča maid

• Domain Theory in Logical Form
  Dahkki: Abramsky, S
  Almmustuhtton: (1991)
• Domain Theory and the Logic of Observable Properties
  Dahkki: Abramsky, S
  Almmustuhtton: (1987)
• Domain Theory
  Dahkki: Abramsky, S, et al.
  Almmustuhtton: (1994)
• Logic and categories as tools for building theories
  Dahkki: Abramsky, S
  Almmustuhtton: (2010)
• Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics
  Dahkki: Abramsky, S
  Almmustuhtton: (2007)