About Translations of Classical Logic into Polarized Linear Logic (2003)

Cached

Download Links

by Olivier Laurent , Preuves Programmes Systemes , Laurent Regnier
Venue:In Proceedings of the eighteenth annual IEEE symposium on Logic In Computer Science
Citations:12 - 0 self