Semantics of a Typed Algebraic Lambda-Calculus

Semantics of Higher-Order Recursion Schemes

Semantics of Separation-Logic Typing and Higher-order Frame Rules for<br> Algol-like Languages

Semantics of Typed Lambda-Calculus with Constructors

Separability in the Ambient Logic

Separating the basic logics of the basic recurrences

Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

Sequence-Based Abstract Interpretation of Prolog

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

Sequential operators in computability logic

Sequentiality vs. Concurrency in Games and Logic

Set systems: order types, continuous nondeterministic deformations, and quasi-orders

Set Theory for Verification: I. From Foundations to Functions

Set Theory for Verification: II. Induction and Recursion

Set Unification

Shared Memory Concurrent System Verification using Kronecker Algebra

Sheaves and geometric logic and applications to the modular verification of complex systems

Short proofs of strong normalization

Short-circuit logic

Side Effects in Steering Fragments