Je was op zoek naar: denotations (Engels - Grieks)

===denotations of data types===many programming languages allow users to define recursive data types.
Πολλές γλώσσες προγραμματισμού επιτρέπουν στο χρήστη να ορίζει αναδρομικούς τύπους δεδομένων.

a solution is to build up the denotation by approximation starting with the empty set of ordered pairs (which in set theory would be written as {}).
Μια λύση είναι η κατασκευή της δήλωσης προσεγγιστικά, αρχίζοντας με το κενό σύνολο διατεταγμένων ζευγών (το οποίο στη θεωρία συνόλων θα μπορούσε να γραφεί ως {}).