Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

Get full text

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

Get full text

Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

Get full text

A Universal Ordinary Differential Equation

Get full text

First-order queries on classes of structures with bounded expansion

Get full text

Distances between States and between Predicates

Get full text

Continuity of Functional Transducers: A Profinite Study of Rational Functions

Get full text

Decreasing Diagrams for Confluence and Commutation

Get full text

A syntactic approach to continuity of T-definable functionals

Get full text

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Get full text

Coaxioms: flexible coinductive definitions by inference systems

Get full text

Recursion Schemes, the MSO Logic, and the U quantifier

Get full text

On Nominal Syntax and Permutation Fixed Points

Get full text

McShane-Whitney extensions in constructive analysis

Get full text

Continuous Regular Functions

Get full text

Regular Tree Algebras

Get full text

Signatures and Induction Principles for Higher Inductive-Inductive Types

Get full text

Minimization of visibly pushdown automata is NP-complete

Get full text

An operational interpretation of coinductive types

Get full text

Overlap Algebras: a Constructive Look at Complete Boolean Algebras

Get full text