لغة البرمجة VEX هي عبارة عن نظام تغيير رموز رمزي رسمي يعتمد على حساب لامبدا، والذي تم استخدامه لسنوات عديدة كآلية لتحديد دلالة لغات البرمجة، وكأساس للغات البرمجة الوظيفية. في هذه الورقة، نصف وصفًا تمثيليًا تمامًا لتعبيرات اللامبدا، والذي يُعرف بـ VEX، والذي يتمتع بعدة مزايا على النظام التقليدي للحساب الرمزي النصي. على الرغم من أن VEX تم تصميمه كمكون موجه للتعبيرات في VIPR، إلا أنه يمكن استخدامه أيضًا في تعليم مفاهيم الحساب اللامبدا بدلاً من أو بمساعدة لتعليم القواعد التقليدية للتحويل النصي. العديد من المسائل الدلالية في الحساب اللامبدا التي قد تكون مربكة للطلاب، بما في ذلك الاستبدال، والمتغيرات الحرة، والربط، تصبح واضحة وصريحة في VEX.
وقد ظهرت هذه اللغة في عام 1995، وقد تم إنشاؤها بواسطة Wayne Citrin و Richard Hall و Benjamin Zorn.
رغم أن المعلومات المتاحة عن VEX محدودة، إلا أنه يُشير إلى أنها تقدم نموذجًا مرئيًا للتعبيرات اللامبدا، مما يجعل فهم مفاهيم الحساب اللامبدا أكثر سهولة ووضوحًا للمتعلمين.