Skip to content

Linear Realisability over Nets: Multiplicatives.

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

VenueBCSL
Year2025
ProceedingsCSL

Browse the full CSL paper archive.