This section describes {\MathQL} semantics, that we present in a natural
operational style \cite{Lan98,Win93}.
Here we use a simple type system that includes basic types such as strings and
Booleans, and some type constructors such as product and exponentiation.
$ y \oft Y $ will denote a typing judgement.
This section describes {\MathQL} semantics, that we present in a natural
operational style \cite{Lan98,Win93}.
Here we use a simple type system that includes basic types such as strings and
Booleans, and some type constructors such as product and exponentiation.
$ y \oft Y $ will denote a typing judgement.