The Regular-Language Semantics of Second-order Idealized Algol (0)

by D R Ghica, G McCusker
Venue:Theoretical Computer Science