Extending the loop language with higher-order procedural variables (0)

by T Crolard, E Polonowski, P Valarcher
Venue:Special issue of ACM TOCL on Implicit Computational Complexity. To appear