We start by considering program fragments, i.e. programs with free variables.
Αρχίζουμε θεωρώντας αποσπάσματα προγράμματος, δηλαδή προγράμματα με ελεύθερες μεταβλητές.