A Calculus for Higher Order Procedures with Global Variables.

Werner Stephan, Andreas Wolpers

Browse the full MFCS paper archive.