9 citations · 10 across the 7 of their papers we have counts for
8 papers
Skolemisation for Intuitionistic Linear Logic
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Focusing is a known technique for reducing the number of proofs while preserving derivability. Skolemisation is another technique designed to improve proof search, which reduces th…
A Declaration of Software Independence
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider +2
A voting system should not merely report the outcome: it should also provide sufficient evidence to convince reasonable observers that the reported outcome is correct. Many deploye…
Forwarders as Process Compatibility, Logically
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…
Voter Perceptions of Trust in Risk-Limiting Audits
Asmita Dalela, Oksana Kulyk, Carsten Schürmann
Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part bec…
Proceedings First International Workshop on Focusing
Iliano Cervesato, Carsten Schürmann
This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite ev…
A Bigraph Relational Model
Maxime Beauquier, Carsten Schürmann
In this paper, we present a model based on relations for bigraphical reactive systems [Milner09]. Its defining characteristics are that validity and reaction relations are captured…
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Anders Schack-Nielsen, Carsten Schürmann
We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unif…
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Christoph Benzmueller, John Harrison, Carsten Schuermann
This workshop brings together practioners and researchers who are involved in the everyday aspects of logical systems based on higher-order logic. We hope to create a friendly and…