Domain Theory in Logical Form

Lignende værker

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