Natural deduction and proof nets for intuitionistic linear logic

@techreport{9914662a07134c7f8425341761e256ff,

title = "Natural deduction and proof nets for intuitionistic linear logic",

author = "Mark Johnson",

year = "1997",

language = "English",

type = "WorkingPaper",

}

Research output: Working paper

TY - UNPB

T1 - Natural deduction and proof nets for intuitionistic linear logic

AU - Johnson, Mark

PY - 1997

Y1 - 1997

M3 - Working paper

BT - Natural deduction and proof nets for intuitionistic linear logic

ER -

Cite this