A logical correspondence between natural semantics and abstract machines.

Robert J. Simmons, Ian Zerny

Browse the full PPDP paper archive.