Minimal Classical Logic and Control Operators (2003)

View PDF

Download Links

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