| 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 |
|||||||||||||||
| 4 |