The undecidability of second order multiplicative linear logic (1996)

by Y Lafont, A Scedrov
Venue:Information and Computation