Minimal Classical Logic and Control Operators (2003)

Cached

Download Links

by Zena Ariola , Hugo Herbelin
Venue:In ICALP: Annual International Colloquium on Automata, Languages and Programming, volume 2719 of LNCS
Citations:30 - 5 self