Playful, streamlike computation
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Polygraphic programs and polynomial-time functions
Polygraphs for termination of left-linear term rewriting systems
Polymorphic lemmas and definitions in Lambda Prolog and Twelf
Polymorphic type inference for the relational algebra
Polynomial Interpretations for Higher-Order Rewriting
Polynomial Size Analysis of First-Order Shapely Functions
Polynomial-time Computation via Local Inference Relations
Port Protocols for Deadlock-Freedom of Component Systems
Positional Determinacy of Games with Infinitely Many Priorities
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Postinal Determinacy of Games with Infinitely Many Priorities
Powermonads and Tensors of Unranked Effects
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
Practical Distributed Control Synthesis
Practical Reasoning for Expressive Description Logics
Practical Reasoning for Very Expressive Description Logics
Precongruence Formats for Decorated Trace Semantics
Predicate Abstraction with Indexed Predicates