ML-1995-10: The Undecidability of Second Order Linear Affine Logic

ML-1995-10: Kopylov, Alexei P. (1995) The Undecidability of Second Order Linear Affine Logic. [Report]

[img]
Preview
Text (Full Text)
ML-1995-10.text.pdf

Download (945kB) | Preview
Item Type: Report
Report Nr: ML-1995-10
Series Name: Mathematical Logic and Foundations (ML)
Year: 1995
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1369

Actions (login required)

View Item View Item