Extended Initiality for Typed Abstract Syntax

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

Tree-width for first order formulae

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

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

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

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

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

On Irrelevance and Algorithmic Equality in Predicative Type Theory

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

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

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

Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

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

On the Parameterized Intractability of Monadic Second-Order Logic

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

Formal Theories for Linear Algebra

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

On Global Types and Multi-Party Session

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

Modeling Adversaries in a Logic for Security Protocol Analysis

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

Alternating register automata on finite words and trees

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

The rapid points of a complex oscillation

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

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

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

Derivation Lengths Classification of Gödel's T Extending Howard's Assignment

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

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

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

Deciding Kleene Algebras in Coq

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

Two-Variable Logic with Two Order Relations

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

Typing Copyless Message Passing

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

QRB-Domains and the Probabilistic Powerdomain

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