$text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity

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

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

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

Transpension: The Right Adjoint to the Pi-type

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

An implicit function theorem for the stream calculus

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

On the Metric Temporal Logic for Continuous Stochastic Processes

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

Linear-time logics -- a coalgebraic perspective

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

Branch-Well-Structured Transition Systems and Extensions

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

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

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

Addition and Differentiation of ZX-diagrams

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

The Pebble-Relation Comonad in Finite Model Theory

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

On Tools for Completeness of Kleene Algebra with Hypotheses

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

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

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

Executable First-Order Queries in the Logic of Information Flows

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

Encodability Criteria for Quantum Based Systems

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

A Strong Bisimulation for a Classical Term Calculus

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

Inapproximability of Unique Games in Fixed-Point Logic with Counting

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

Boolean proportions

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

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential

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

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

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

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

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