Лялецький Олександр Олександрович. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : Дис... канд. наук: 01.05.01 - 2009.