4
Natural Semantics
§Based on
§Gordon
Plotkin's Structural Operational Semantics (SOS)
§Gentzen's
Sequent Calculus for Natural Deduction.
§"Natural Semantics"
(NS)
§term by Gilles Kahn
§formalism for specifications
of:
§type systems
§programming languages