Previous Top Next
Type-theoretic functional semantics : Denotational Semantics :

Denotation of Commands

Naive attempt

[Naive recursive denotation function]