Предметно-ориентированные языки с заданной формальной семантикой на основе лямбда-исчисления с зависимыми типамидоклад на конференции