A Calculus for Higher Order Procedures with Global Variables (1993)

Cached

Download Links

by Werner Stephan , Andreas Wolpers
Venue:Proc., MFCS '93, Springer LNCS 711
Citations:2 - 1 self