Categorical Semantics for Programming Languages

Míreanna comhchosúla

• A Model for Programming Language Semantics
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1975)
• Consistent and Complementary Formal Theories of the Semantics of Programming Languages
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1974)
• Categorical model of structural operational semantics for imperative language
  de réir: William Steingartner, et al.
  Foilsithe / Cruthaithe: (2016-12-01)
• Categorical semantics for arrows
  de réir: Jacobs, B, et al.
  Foilsithe / Cruthaithe: (2009)
• Categorical semantics for arrows
  de réir: Jacobs, B, et al.
  Foilsithe / Cruthaithe: (2009)