notesum.ai

Published at December 10

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations

cs.LO

Released Date: December 10, 2024

Authors: Davide Sangiorgi¹

Aff.: ¹University of Bologna and INRIA

Arxiv: http://arxiv.org/pdf/2412.07351v1