( en | de | ru )

 

Disambiguation of "Pym, David J."

Author of the publication

copydeleteadd this publication to your clipboard
The semantics of BI and resource tableaux.

, , and . Math. Struct. Comput. Sci., 15 (6): 1033-1088 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David J Lutz

David J Downs

David J Roy

-J David Lin

David J Roy

 

Other publications of authors with the same name

A note on the proof theory of the lambda-II-calculus.. Stud Logica, 54 (2): 199-230 (1995)A games semantics for reductive logic and proof-search., and . GALOP@ETAPS, page 107-123. (2005)Semantical Analysis of the Logic of Bunched Implications., and . Stud Logica, 111 (4): 525-571 (August 2023)Algebra and logic for access control., and . Formal Aspects Comput., 22 (2): 83-104 (2010)Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach., , and . WEIS, (2011)Intuitionistic Layered Graph Logic., and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 469-486. Springer, (2016)On the Adoption of Privacy-enhancing Technologies., , and . GameSec, volume 9996 of Lecture Notes in Computer Science, page 175-194. Springer, (2016)Modelling and simulating systems security policy., and . SimuTools, page 9-18. ICST/ACM, (2015)A substructural epistemic resource logic: theory and modelling applications., , and . J. Log. Comput., 29 (8): 1251-1287 (2019)Found in Translation: Co-design for Security Modelling., , and . STAST, volume 13176 of Lecture Notes in Computer Science, page 108-128. Springer, (2021)