O. O. Lyalets'kyj

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka	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 Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka	2012-07-16	Paper
scientific article; zbMATH DE number 5521057 (Why is no real title available?)	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