Local Actions for a Curry-style Operational Semantics (2011)

by Gordon Stewart , Andrew W. Appel
Citations:2 - 0 self