Borel-piecewise continuous reducibility for uniformization problems

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

Some theorems on passing from local to global presence of properties of functions

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

Model Checking Spatial Logics for Closure Spaces

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

Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

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

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

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

Build your own clarithmetic II: Soundness

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

Data optimizations for constraint automata

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

Z-stability in Constructive Analysis

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

Idempotents in intensional type theory

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

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

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

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism

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

Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$

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

How Much Lookahead is Needed to Win Infinite Games?

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

Block structure vs scope extrusion: between innocence and omniscience

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

Dualized Simple Type Theory

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

Dynamic Choreographies: Theory And Implementation

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

Existence of strongly proper dyadic subbases

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

Multiparty Session Actors

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

Minimisation of Multiplicity Tree Automata

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

Notions of Anonymous Existence in Martin-Löf Type Theory

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