The Undecidability Of Second Order Linear Logic Without Exponentials (1995)

Cached

Download Links

by Yves Lafont
Venue:Journal of Symbolic Logic
Citations:12 - 3 self