9 citations · 10 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
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…