| Articolul precedent |
| Articolul urmator |
 |
 664 0 |
 SM ISO690:2012LYALETSKY, Alexandre. Set-theoretic models of the untyped λ-calculus determined by new notions of continuity. In: Conference on Mathematical Foundations of Informatics, Ed. 2016, 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 262-267. ISBN 978‐9975‐4237‐4‐8. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conference on Mathematical Foundations of Informatics 2016 | ||||||
|
Conferința "Conference on Mathematical Foundations of Informatics" 2016, Chișinău, Moldova, 25-30 iulie 2016 | ||||||
|
||||||
| Pag. 262-267 | ||||||
|
||||||
 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 non-topological notions of a continuity of a function acting on partially ordered sets. The main results obtained in this direction are presented. |
||||||
| Cuvinte-cheie Untyped λ-calculus, λ-model, Koymans method, continuity of a function |
||||||
|
Google Scholar Export
<meta name="citation_title" content="Set-theoretic models of the untyped λ-calculus determined by new notions of continuity"> <meta name="citation_author" content="Lyaletsky Alexandre"> <meta name="citation_publication_date" content="2016"> <meta name="citation_collection_title" content="Conference on Mathematical Foundations of Informatics"> <meta name="citation_firstpage" content="262"> <meta name="citation_lastpage" content="267"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/262-267.pdf">
|
|
|
