Skip to content

The Undecidability of Second Order Linear Affine Logic.

Alexey P. Kopylov

Year1997
ProceedingsLFCS

Browse the full LFCS paper archive.