notesum.ai

Published at November 26

Linear Realisability over nets: multiplicatives (long version)

cs.LO

Released Date: November 26, 2024

Authors: Adrien Ragot¹, Thomas Seiller¹, Lorenzo Tortora de Falco¹

Aff.: ¹Not specified

Arxiv: http://arxiv.org/abs/2411.17486v1