A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics

Get full text

A Note on the Topologicity of Quantale-Valued Topological Spaces

Get full text

On the Compositionality of Quantitative Information Flow

Get full text

The Independence of Markov's Principle in Type Theory

Get full text

The Algebraic Intersection Type Unification Problem

Get full text

Complexity Hierarchies and Higher-order Cons-free Term Rewriting

Get full text

Algebraic and logical descriptions of generalized trees

Get full text

Focusing in Orthologic

Get full text

Tracing where IoT data are collected and aggregated

Get full text

Aspects of algebraic Algebras

Get full text

Characterization theorem for the conditionally computable real functions

Get full text

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

Get full text

Towards an Algebra for Cascade Effects

Get full text

Deriving Probability Density Functions from Probabilistic Functional Programs

Get full text

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

Get full text

An expressive completeness theorem for coalgebraic modal mu-calculi

Get full text

On-the-Fly Computation of Bisimilarity Distances

Get full text

On the Preciseness of Subtyping in Session Types

Get full text

Hanf numbers via accessible images

Get full text

Disjoint-union partial algebras

Get full text