A Structural Approact to Operatioal (0)

by G D PLOTKIN
Venue:Semmtics, Lectures Notes, Aarhus University (95