activity
20162026
most citedInductive and Coinductive Predicate Liftings for Effectful Programs

1 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.LO2025

Parametric Iteration in Resource Theories

Alessandro Di Giorgio, Pawel Sobocinski, Niels Voorneveld

Many algorithms are specified with respect to a fixed but unspecified parameter. Examples of this are especially common in cryptography, where protocols often feature a security pa…

math.CT2025

Dynamics and Coherence for the Free Cornering with Protocol Choice

Chad Nester, Niels Voorneveld

We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model…