<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xmlns='http://datacite.org/schema/kernel-3' xsi:schemaLocation='http://datacite.org/schema/kernel-3 http://schema.datacite.org/meta/kernel-3/metadata.xsd'>
<creators>
<creator>
<creatorName>Lyaletsky, A.A.</creatorName>
<affiliation>Universitatea Naţională „Taras Shevchenko“, Kiev, Ucraina</affiliation>
</creator>
</creators>
<titles>
<title xml:lang='en'>Set-theoretic models of the untyped &lambda;-calculus determined by new notions of continuity</title>
</titles>
<publisher>Instrumentul Bibliometric National</publisher>
<publicationYear>2016</publicationYear>
<relatedIdentifier relatedIdentifierType='ISBN' relationType='IsPartOf'>978‐9975‐4237‐4‐8</relatedIdentifier>
<subjects>
<subject>Untyped λ-calculus</subject>
<subject>λ-model</subject>
<subject>Koymans method</subject>
<subject>continuity of a function</subject>
</subjects>
<dates>
<date dateType='Issued'>2016</date>
</dates>
<resourceType resourceTypeGeneral='Text'>Conference Paper</resourceType>
<descriptions>
<description xml:lang='en' descriptionType='Abstract'><p>The research is devoted to the construction of nontrivial models for untyped &lambda;-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></description>
</descriptions>
<formats>
<format>application/pdf</format>
</formats>
</resource>