DMCA

A PSPACE-complete fragment of Second Order Linear Logic (1999)

Cached

Download Links

by G. Perrier , Loria Universit'e Nancy