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

A System F accounting for scalars

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

Realizability algebras II : new models of ZF + DC

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

Büchi Complementation and Size-Change Termination

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

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

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