Items where Author is "Danos, Vincent"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

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]

This list was generated on Wed May 27 00:31:13 2020 CEST.