The following pages link to David J. Pym (Q1826633):
Displaying 34 items.
- (Q194958) (redirect page) (← links)
- A logic of separating modalities (Q290917) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Erratum to: ``Algebra and logic for access control'' (Q973057) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Modular tableaux calculi for separation theories (Q1653006) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Errata for ``A calculus and logic of resources and processes'' and their consequences (Q2461539) (← links)
- The semantics and proof theory of the logic of bunched implications (Q2487871) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- (Q2703718) (← links)
- (Q2703721) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- (Q2851322) (← links)
- (Q2855318) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- A substructural logic for layered graphs (Q2937700) (← links)
- Layered graph logic as an assertion language for access control policy models (Q2987042) (← links)
- Erratum to: A substructural logic for layered graphs (Q2987058) (← links)
- (Q3121529) (← links)
- A Substructural Modal Logic of Utility (Q3133170) (← links)
- The semantics of BI and resource tableaux (Q3371525) (← links)
- A relevant analysis of natural deduction (Q4228076) (← links)
- Trust domains in system models: algebra, logic, utility, and combinators (Q4612422) (← links)
- Kripke Resource Models of a Dependently-typed, Bunched -calculus (Q4796463) (← links)
- A substructural epistemic resource logic: theory and modelling applications (Q5216343) (← links)
- A proof-theoretic analysis of the classical propositional matrix method (Q5406130) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
