activity
20102026
most citedProceedings Fourth Workshop on Classical Logic and Computation

20 citations · 96 across the 24 of their papers we have counts for

collaborators
Showing 2015Show all

2 papers · 1 filter

cs.LO2015★ 3 cited

Orchestrated Session Compliance

Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro

We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes…

cs.PL2015★ 5 cited

Typing Classes and Mixins with Intersection Types

Jan Bessai, Boris Düdder, Andrej Dudenhefner +2

We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expan…