They are absent because quantifying over something is a model-theoretic notion (that is where the set is coming from), while programming language researchers of

They are absent because quantifying over something is a model-theoretic notion (that is where the set is coming from), while programming language researchers often prefer type theory and follow a proof-theoretic approach. Personally, I like proofs, but I think they go better with a model-theoretic approach :-)