ML-1995-10: Alexei P. Kopylov The Undecidability of Second Order Linear Affine Logic 1.Full Text. < Back
