Sound and Complete Axiomatisations of Call-By-Value Control Operators (1994)

Cached

Download Links

by Martin Hofmann
Venue:MATH. STRUCTURES COMPUT. SCI
Citations:19 - 1 self