A structural approach to operational semantics

   Info_icon.svg       BibTeX_logo.svg   
Gordon D. Plotkin
Computer Science Department, Aarhus University
1981