Parametric Operational Semantics
In this part we will study the evaluation of terms and the induced operational semantics. Our notion of operational semantics is inspired by the structured operational semantics (SOS) developed by Plotkin  and by Kahn .
KeywordsNormal Form Evaluation Relation Formal System Operational Semantic Logical Rule
Unable to display preview. Download preview PDF.