Aspects of algebraic Algebras

Subjects: “…Computer Science & Information Science…”
Get full text

$mathsf{LLF}_{cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads

Subjects: “…Computer Science & Information Science…”
Get full text

Towards an Algebra for Cascade Effects

Subjects: “…Computer Science & Information Science…”
Get full text

Deriving Probability Density Functions from Probabilistic Functional Programs

Subjects: “…Computer Science & Information Science…”
Get full text

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Subjects: “…Computer Science & Information Science…”
Get full text

An expressive completeness theorem for coalgebraic modal mu-calculi

Subjects: “…Computer Science & Information Science…”
Get full text

On the Preciseness of Subtyping in Session Types

Subjects: “…Computer Science & Information Science…”
Get full text

Hanf numbers via accessible images

Subjects: “…Computer Science & Information Science…”
Get full text

Disjoint-union partial algebras

Subjects: “…Computer Science & Information Science…”
Get full text

On Sessions and Infinite Data

Subjects: “…Computer Science & Information Science…”
Get full text

A Reduced Semantics for Deciding Trace Equivalence

Subjects: “…Computer Science & Information Science…”
Get full text

Feasible Interpolation for QBF Resolution Calculi

Subjects: “…Computer Science & Information Science…”
Get full text

A Recipe for State-and-Effect Triangles

Subjects: “…Computer Science & Information Science…”
Get full text

Inter-procedural Two-Variable Herbrand Equalities

Subjects: “…Computer Science & Information Science…”
Get full text

Certifying Confluence Proofs via Relative Termination and Rule Labeling

Subjects: “…Computer Science & Information Science…”
Get full text

Hopf and Lie algebras in semi-additive Varieties

Subjects: “…Computer Science & Information Science…”
Get full text

Subcomputable Schnorr Randomness

Subjects: “…Computer Science & Information Science…”
Get full text

Encoding Monomorphic and Polymorphic Types

Subjects: “…Computer Science & Information Science…”
Get full text

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Subjects: “…Computer Science & Information Science…”
Get full text

Automata for Specifying and Orchestrating Service Contracts

Subjects: “…Computer Science & Information Science…”
Get full text