A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever

Browse the full ICALP paper archive.