A sound and complete logic for algebraic effects

相似书籍

• Scoped effects as parameterized algebraic theories
  由: Lindley, S, et al.
  出版: (2024)
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
  由: Tarek Sayed Ahmed
  出版: (2021-12-01)
• Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
  由: Ma, M, et al.
  出版: (2011)
• Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
  由: Sadrzadeh, M, et al.
  出版: (2011)
• Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
  由: Wei Wang, et al.
  出版: (2019-02-01)