The semantics of BI and resource tableaux von GALMICHE, D., MÉRY, D., PYM, D.

Volltext

Possible worlds and resources: the semantics of BI von Pym, David J., O'Hearn, Peter W., Yang, Hongseok

Volltext

A Logical and Computational Theory of Located Resource von Collinson, Matthew, Monahan, Brian, Pym, David

Volltext

Editorial von Moore, T., Pym, D.

Volltext

A substructural logic for layered graphs von Collinson, M., McDonald, K., Pym, D.

Volltext

Resource semantics: logic as a modelling technology von Pym, D

Volltext bestellen

On the geometry of interaction for classical logic von Fuhrmann, C., Pym, D.

Volltext

A proof-theoretic analysis of the classical propositional matrix method von Pym, D., Ritter, E., Robinson, E.

Volltext

Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things von Pym, D, Venters, W

Volltext bestellen

Categorical Proof-theoretic Semantics von Pym, D, Ritter, E, Robinson, E

Volltext bestellen

The Origins of Cyberspace von Pym, D

Volltext bestellen

Efficiency and safety of the combination of moxifloxacin, pretomanid (PA-824), and pyrazinamide during the first 8 weeks of antituberculosis treatment: a phase 2b, open-label, part... von Dawson, Rodney, MD, Diacon, Andreas H, MD, Everitt, Daniel, Dr, van Niekerk, Christo, MD, Donald, Peter R, MD, Burger, Divan A, MCom, Schall, Robert, PhD, Spigelman, Melvin, MD, Conradie, Almari, MPh, Eisenach, Kathleen, PhD, Venter, Amour, NatDipMicr, Ive, Prudence, FCP[SA], Page-Shipp, Liesl, MBBCh, Variava, Ebrahim, MD, Reither, Klaus, MD, Ntinginya, Nyanda E, MD, Pym, Alexander, MD, von Groote-Bidlingmaier, Florian, MD, Mendel, Carl M, MD

Volltext

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra von Brunet, P, Pym, D

Volltext bestellen

Forthcoming Papers von Pym, D.

Volltext

Kripke resource models of a dependently-typed bunched λ-calculus (extended abstact) von ISHTIAQ, S, PYM, D. J

Volltext

A Relevant Analysis of Natural Deduction von ISHTIAQ, S. S., PYM, D. J.

Volltext

Found in Translation: Co-design for Security Modelling von Caulfield, T, Ilau, M-C, Pym, D

Volltext bestellen

Stone-Type Dualities for Separation Logics von Docherty, S, Pym, D

Volltext bestellen

On resolution in fragments of classical linear logic (extended abstract) von Harland, J. A., Pym, D. J.

Volltext

Engineering Ecosystem Models: Semantics and Pragmatics von Caulfield, T, Ilau, M-C, Pym, D

Volltext bestellen