Articolul precedent 
Articolul urmator 
111 0 
SM ISO690:2012 LYALETSKY, Alexandre. Settheoretic models of the untyped λcalculus determined by new notions of continuity. In: Conference on Mathematical Foundations of Informatics. 2530 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 262267. ISBN 978‐9975‐4237‐4‐8. 
EXPORT metadate: Google Scholar Crossref CERIF BibTeX DataCite Dublin Core 
Conference on Mathematical Foundations of Informatics 2016  
Conferința "Conference on Mathematical Foundations of Informatics" Chișinău, Moldova, 2530 iulie 2016  


Pag. 262267  


Descarcă PDF  
Rezumat  
The research is devoted to the construction of nontrivial models for untyped λcalculus according to the Koymans method, which led to the introduction and study of special nontopological notions of a continuity of a function acting on partially ordered sets. The main results obtained in this direction are presented. 

Cuvintecheie Untyped λcalculus, λmodel, Koymans method, continuity of a function 

