If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Working paper
1997

Natural deduction and proof nets for intuitionistic linear logic

Johnson, M., 1997, (Unpublished).

Research output: Working paper