O. O. Lyalets'kyj

Available identifiers

zbMath Open lyaletskyi.o-oMaRDI QIDQ2897442

List of research outcomes

Publication	Date of Publication	Type
An elementary proof of the normalization theorem for \(\beta\eta\)-reduction	2014-12-10	Paper
Basic properties of \((\theta)\)-continuous functions acting on bicomplete partially ordered sets	2012-07-16	Paper
On the possibility of the construction of models of non-typical \(\lambda\)-calculus by means of the notion of \((\theta)\)-continuity of functions	2012-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q3606951	2009-02-28	Paper
On types of continuity of functions and their properties with respect to partially ordered sets	2009-02-28	Paper

Research outcomes over time

This page was built for person: O. O. Lyalets'kyj