Skip to content

Linear Lambda-Calculus is Linear.

Alejandro Daz-Caro, Gilles Dowek

VenueBFSCD
Year2022
ProceedingsFSCD

Browse the full FSCD paper archive.