Two for the Price of One: Lifting Separation Logic Assertions

Նմանատիպ նյութեր

• Two for the Price of One: Lifting Separation Logic Assertions
  ‌: Jacob Thamsborg, և այլն
  Հրապարակվել է: (2012-09-01)
• Relational Parametricity and Separation Logic
  ‌: Birkedal, L, և այլն
  Հրապարակվել է: (2008)
• Relational Parametricity and Separation Logic
  ‌: Birkedal, L, և այլն
  Հրապարակվել է: (2007)
• Relational Parametricity and Separation Logic
  ‌: Lars Birkedal, և այլն
  Հրապարակվել է: (2008-05-01)
• The Logical Significance of Assertion: Frege on the Essence of Logic
  ‌: Walter B. Pedriali
  Հրապարակվել է: (2017-08-01)