Operational Interpretations of Linear Logic (1998)

Cached

Download Links

by David N. Turner , Philip Wadler
Citations:27 - 0 self