The Undecidability of Second Order Multiplicative Linear Logic (1996)

Cached

Download Links

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