Articolul precedent |
Articolul urmator |
682 0 |
SM ISO690:2012 LYALETSKY, 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 |
||||||
|
Dublin Core Export
<?xml version='1.0' encoding='utf-8'?> <oai_dc:dc xmlns:dc='http://purl.org/dc/elements/1.1/' xmlns:oai_dc='http://www.openarchives.org/OAI/2.0/oai_dc/' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd'> <dc:creator>Lyaletsky, A.A.</dc:creator> <dc:date>2016</dc:date> <dc:description xml:lang='en'><p>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.</p></dc:description> <dc:source>Conference on Mathematical Foundations of Informatics () 262-267</dc:source> <dc:subject>Untyped λ-calculus</dc:subject> <dc:subject>λ-model</dc:subject> <dc:subject>Koymans method</dc:subject> <dc:subject>continuity of a function</dc:subject> <dc:title>Set-theoretic models of the untyped λ-calculus determined by new notions of continuity</dc:title> <dc:type>info:eu-repo/semantics/article</dc:type> </oai_dc:dc>