ML-1993-10: The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

ML-1993-10: Danos, Vincent and Joinet, Jean-Baptiste and Schellinx, Harold (1993) The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1993-10.text.pdf

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

Actions (login required)

View Item View Item