Showing 1 - 2 results of 2 for search 'David Pym', 查詢時間: 0.02s Refine Results
  1. 1
    Intuitionistic Layered Graph Logic: Semantics and Proof Theory

    Intuitionistic Layered Graph Logic: Semantics and Proof Theory 由 Simon Docherty, David Pym

    出版 2018-10-01
    獲取全文
    Article
  2. 2
    Stone-Type Dualities for Separation Logics

    Stone-Type Dualities for Separation Logics 由 Simon Docherty, David Pym

    出版 2019-03-01
    獲取全文
    Article

檢索工具: