Toon vak Models and Semantics of Computation