The Undecidability of Second Order Multiplicative Linear Logic (1996)

View PDF

Download Links

by Yves Lafont , Andre Scedrov
Citations:16 - 3 self