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)