A Note on the Topologicity of Quantale-Valued Topological Spaces

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

On the Compositionality of Quantitative Information Flow

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

The Independence of Markov's Principle in Type Theory

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

The Algebraic Intersection Type Unification Problem

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

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

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

Algebraic and logical descriptions of generalized trees

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

Focusing in Orthologic

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

Tracing where IoT data are collected and aggregated

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

Aspects of algebraic Algebras

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

Characterization theorem for the conditionally computable real functions

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

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

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

Towards an Algebra for Cascade Effects

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

Deriving Probability Density Functions from Probabilistic Functional Programs

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

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

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

An expressive completeness theorem for coalgebraic modal mu-calculi

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

On-the-Fly Computation of Bisimilarity Distances

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

On the Preciseness of Subtyping in Session Types

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

Hanf numbers via accessible images

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

Disjoint-union partial algebras

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

On Sessions and Infinite Data

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