works on
behavioral equivalence 1coinduction 1higher-order abstract syntax 1pi-calculus 1proof assistants 1

From the 1 of 1 paper with an AI index.

researchers with a paper here
collaborating institutions

1 paper

cs.LO2026

Barbed Similarity for the -Calculus in Beluga: A Case Study in Coinductive Reasoning

Lea Trogni, Gabriele Cecilia, Alberto Momigliano

The paper formalizes strong barbed similarity for the pi‑calculus in the Beluga proof assistant, using coinductive and copattern‑based techniques to obtain concise proofs of behavi…