For instance, in the expression (x + y) might be considered in a typing context (x:nat,y:nat).
Για παράδειγμα, η έκφραση (x + y) θα μπορούσε να θεωρηθεί σε ένα περιβάλλον τυποποίησης (x:nat,y:nat).