Pat Fung

• An application of formal semantics to student modelling