Showing 1 - 2 results of 2 for search 'David Pym', query time: 0.02s
Refine Results
-
1
Intuitionistic Layered Graph Logic: Semantics and Proof Theory by Simon Docherty, David Pym
Published 2018-10-01
Article -
2
Stone-Type Dualities for Separation Logics by Simon Docherty, David Pym
Published 2019-03-01
Article