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

Cached

Download Links

by Olivier Laurent , Laurent Regnier
Venue:IN PROCEEDINGS OF THE EIGHTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Citations:11 - 0 self