Set-theoretic models of the untyped λ-calculus determined by new notions of continuity
Închide
Articolul precedent
Articolul urmator
112 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. 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
BibTeX
DataCite
Dublin Core
Conference on Mathematical Foundations of Informatics 2016
Conferința "Conference on Mathematical Foundations of Informatics"
Chișinău, Moldova, 25-30 iulie 2016

Set-theoretic models of the untyped λ-calculus determined by new notions of continuity


Pag. 262-267

Lyaletsky Alexandre
 
Taras Shevchenko National University of Kyiv
 
Disponibil în IBN: 30 martie 2018


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

DataCite XML Export

<?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>Jovmir, T.C.</creatorName>
<affiliation>Institutul de Chimie, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Popa, T.C.</creatorName>
<affiliation>Institutul de Chimie, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Balan, G.G.</creatorName>
<affiliation>Universitatea de Stat din Moldova, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Burduniuc, O.</creatorName>
<affiliation>Universitatea de Stat din Moldova, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Lupaşcu, L.</creatorName>
<affiliation>Institutul de Chimie, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Gulea, A.P.</creatorName>
<affiliation>Universitatea de Stat din Moldova, Moldova, Republica</affiliation>
</creator>
<creator>
<creatorName>Lozan, V.I.</creatorName>
<affiliation>Institutul de Chimie, Moldova, Republica</affiliation>
</creator>
</creators>
<titles>
<title xml:lang='en'><p>Water-soluble dicopper complex having antimicrobial activity</p></title>
</titles>
<publisher>Instrumentul Bibliometric National</publisher>
<publicationYear>2019</publicationYear>
<relatedIdentifier relatedIdentifierType='ISBN' relationType='IsPartOf'>978-9975-62-428-2</relatedIdentifier>
<dates>
<date dateType='Issued'>2019</date>
</dates>
<resourceType resourceTypeGeneral='Text'>Conference Paper</resourceType>
<descriptions>
<description xml:lang='en' descriptionType='Abstract'><p>There have been synthesized some water soluble copper(II) complexes based on o-hydroxy-aromatic thiosemicarbazones having formulas (C1 [1], C2 and C3 respectively): formula</p><p>The complexes and starting thiosemicarbazone ligands (in DMSO) have been tested in water for antimicrobial activity against different bacteria and fungi by serial dilution method: tabel</p><p>It was found that, among tested complexes, copper dimer C1 manifests a pronounced antimicrobial activity, while it is selective against Gram(+) bacteria. Free thiosemicarbazones do not reveal any activity.</p></description>
</descriptions>
<formats>
<format>application/pdf</format>
</formats>
</resource>