<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Results for Calculus</title>
    <description>Showing 1 - 50 results of 86</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=Calculus&amp;type=AllFields&amp;lng=en</link>
    <opensearch:totalResults>86</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="Calculus" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Calculus&amp;type=AllFields&amp;lng=en"/>
    <atom:link rel="next" type="application/rss+xml" title="Go to Next Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Calculus&amp;type=AllFields&amp;lng=en&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Calculus&amp;type=AllFields&amp;lng=en&amp;page=2"/>
    <atom:link rel="self" type="application/rss+xml" href="https://search.frelip.org/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Calculus&amp;type=AllFields&amp;lng=en"/>
    <item>
      <title>A Study of 31 Patients with Primary Complaint of Halitosis in a Tertiary Hospital in South-Western Nigeria.</title>
      <pubDate>Tue, 01 Jan 2019 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F12757</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F12757</guid>
      <dc:format>Article</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Application of mathematical model to the production capacity of a yam flour producing company</title>
      <pubDate>Thu, 01 Jan 2009 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1768</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1768</guid>
      <dc:format>Article</dc:format>
      <dc:date>2009</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A BIBLIO-TEXTUAL STUDY AND EDITION OF THE POEMS OF ANDREW MARVELL</title>
      <pubDate>Thu, 01 Jan 1970 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F4384</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F4384</guid>
      <dc:format>Thesis</dc:format>
      <dc:date>1970</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>On the maximization of the likelihood function against Iogarithmic transformation</title>
      <pubDate>Tue, 01 Jan 2008 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5325</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5325</guid>
      <dc:format>Article</dc:format>
      <dc:date>2008</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Evaluation of canine dental health problems in Ibadan, Nigeria</title>
      <pubDate>Wed, 01 Jan 2014 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5660</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F5660</guid>
      <dc:format>Article</dc:format>
      <dc:date>2014</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Periodontal status and treatment needs of primary school teachers in the absence of formal school oral health programme</title>
      <pubDate>Wed, 01 Jan 2014 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9850</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9850</guid>
      <dc:format>Article</dc:format>
      <dc:date>2014</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The fluoride content of drinking water and caries experience in 15 – 19 year old school children in Ibadan, Nigeria</title>
      <pubDate>Tue, 01 Jan 2008 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9883</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9883</guid>
      <dc:format>Article</dc:format>
      <dc:date>2008</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Smokers and non smokers: A comparison of Oral health practices and effect of non-surgical Periodontal Therapy on their Periodontium</title>
      <pubDate>Thu, 01 Jan 2015 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9886</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9886</guid>
      <dc:format>Article</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Oral Health Awareness, Practices and Status of Patients with Diabetes attending a Tertiary Health Institution in Nigeria</title>
      <pubDate>Fri, 01 Jan 2016 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9944</link>
      <guid>https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F9944</guid>
      <dc:format>Article</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FRACTAL, FRACTIONAL CALCULUS, AND AI: ADVANCED TOOLS DRIVING INNOVATION IN MECHANICAL ENGINEERING</title>
      <pubDate>Thu, 01 Jan 2026 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:10423</link>
      <guid>https://search.frelip.org/Record/rss_article:10423</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Triple Calculus Model: The Case of Location Privacy in Smartphones</title>
      <pubDate>Thu, 01 Jan 2026 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:14797</link>
      <guid>https://search.frelip.org/Record/rss_article:14797</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Few Inequalities Established by Using Fractional Calculus and Their Applications to Certain Multivalently Analytic Functions</title>
      <pubDate>Wed, 01 Jan 2014 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:16879</link>
      <guid>https://search.frelip.org/Record/rss_article:16879</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2014</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Poems for a Calculus Class (After Reading Midlife Calculus and At the Dimensional Border)</title>
      <pubDate>Thu, 01 Jan 2026 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:17194</link>
      <guid>https://search.frelip.org/Record/rss_article:17194</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Time scales calculus for $mathcal{S}$-linearly correlated fuzzy number-valued functions and application to fuzzy functional dynamic equations</title>
      <pubDate>Thu, 01 Jan 2026 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:17224</link>
      <guid>https://search.frelip.org/Record/rss_article:17224</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Quantitative Reasoning in Calculus III: Advancing Student Engagement, Confidence, and Aspirations at an HSI</title>
      <pubDate>Thu, 01 Jan 2026 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:17460</link>
      <guid>https://search.frelip.org/Record/rss_article:17460</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2026</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An Operational Calculus Model with the (m,n) - Symmetric Difference</title>
      <pubDate>Wed, 01 Jan 2020 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:24686</link>
      <guid>https://search.frelip.org/Record/rss_article:24686</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2020</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Projection or admittance? Presupposition accommodation and the Karttunen calculus</title>
      <pubDate>Wed, 01 Jan 2025 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:25448</link>
      <guid>https://search.frelip.org/Record/rss_article:25448</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2025</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Simplifying explicit subtyping coercions in a polymorphic calculus with effects</title>
      <pubDate>Wed, 01 Jan 2025 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5154</link>
      <guid>https://search.frelip.org/Record/rss_article:5154</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2025</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Programming Distributed Collective Processes in the eXchange Calculus</title>
      <pubDate>Wed, 01 Jan 2025 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5177</link>
      <guid>https://search.frelip.org/Record/rss_article:5177</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2025</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Many-Worlds Calculus</title>
      <pubDate>Wed, 01 Jan 2025 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5227</link>
      <guid>https://search.frelip.org/Record/rss_article:5227</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2025</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5273</link>
      <guid>https://search.frelip.org/Record/rss_article:5273</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Calculus for Scoped Effects &amp;amp; Handlers</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5280</link>
      <guid>https://search.frelip.org/Record/rss_article:5280</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reasonable Space for the ${lambda}$-Calculus, Logarithmically</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5282</link>
      <guid>https://search.frelip.org/Record/rss_article:5282</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5315</link>
      <guid>https://search.frelip.org/Record/rss_article:5315</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5322</link>
      <guid>https://search.frelip.org/Record/rss_article:5322</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An implicit function theorem for the stream calculus</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5329</link>
      <guid>https://search.frelip.org/Record/rss_article:5329</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Strong Bisimulation for a Classical Term Calculus</title>
      <pubDate>Mon, 01 Jan 2024 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5340</link>
      <guid>https://search.frelip.org/Record/rss_article:5340</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Efficient Evaluation of Arbitrary Relational Calculus Queries</title>
      <pubDate>Sun, 01 Jan 2023 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5368</link>
      <guid>https://search.frelip.org/Record/rss_article:5368</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Relational Models for the Lambek Calculus with Intersection and Constants</title>
      <pubDate>Sun, 01 Jan 2023 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5374</link>
      <guid>https://search.frelip.org/Record/rss_article:5374</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A strong call-by-need calculus</title>
      <pubDate>Sun, 01 Jan 2023 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5439</link>
      <guid>https://search.frelip.org/Record/rss_article:5439</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Addressing Machines as models of lambda-calculus</title>
      <pubDate>Sat, 01 Jan 2022 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5504</link>
      <guid>https://search.frelip.org/Record/rss_article:5504</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2022</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Encoding many-valued logic in $lambda$-calculus</title>
      <pubDate>Fri, 01 Jan 2021 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5633</link>
      <guid>https://search.frelip.org/Record/rss_article:5633</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2021</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>LNL-FPC: The Linear/Non-linear Fixpoint Calculus</title>
      <pubDate>Fri, 01 Jan 2021 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5648</link>
      <guid>https://search.frelip.org/Record/rss_article:5648</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2021</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable</title>
      <pubDate>Fri, 01 Jan 2021 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5667</link>
      <guid>https://search.frelip.org/Record/rss_article:5667</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2021</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Towards a Minimal Stabilizer ZX-calculus</title>
      <pubDate>Wed, 01 Jan 2020 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5681</link>
      <guid>https://search.frelip.org/Record/rss_article:5681</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2020</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Completeness of the ZX-Calculus</title>
      <pubDate>Wed, 01 Jan 2020 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5722</link>
      <guid>https://search.frelip.org/Record/rss_article:5722</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2020</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A new coinductive confluence proof for infinitary lambda calculus</title>
      <pubDate>Wed, 01 Jan 2020 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5734</link>
      <guid>https://search.frelip.org/Record/rss_article:5734</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2020</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Scalar and Vectorial mu-calculus with Atoms</title>
      <pubDate>Tue, 01 Jan 2019 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5778</link>
      <guid>https://search.frelip.org/Record/rss_article:5778</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>$aleph_1$ and the modal $mu$-calculus</title>
      <pubDate>Tue, 01 Jan 2019 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5781</link>
      <guid>https://search.frelip.org/Record/rss_article:5781</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A diagrammatic calculus of fermionic quantum circuits</title>
      <pubDate>Tue, 01 Jan 2019 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5790</link>
      <guid>https://search.frelip.org/Record/rss_article:5790</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A sequent calculus for a semi-associative law</title>
      <pubDate>Tue, 01 Jan 2019 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5862</link>
      <guid>https://search.frelip.org/Record/rss_article:5862</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2019</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus</title>
      <pubDate>Mon, 01 Jan 2018 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5921</link>
      <guid>https://search.frelip.org/Record/rss_article:5921</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2018</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties</title>
      <pubDate>Mon, 01 Jan 2018 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5950</link>
      <guid>https://search.frelip.org/Record/rss_article:5950</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2018</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Intersection Types for the lambda-mu Calculus</title>
      <pubDate>Mon, 01 Jan 2018 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5962</link>
      <guid>https://search.frelip.org/Record/rss_article:5962</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2018</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5966</link>
      <guid>https://search.frelip.org/Record/rss_article:5966</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Privacy by typing in the $pi$-calculus</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5968</link>
      <guid>https://search.frelip.org/Record/rss_article:5968</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:5970</link>
      <guid>https://search.frelip.org/Record/rss_article:5970</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:6015</link>
      <guid>https://search.frelip.org/Record/rss_article:6015</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:6062</link>
      <guid>https://search.frelip.org/Record/rss_article:6062</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Lineal: A linear-algebraic Lambda-calculus</title>
      <pubDate>Sun, 01 Jan 2017 18:03:52 -0500</pubDate>
      <link>https://search.frelip.org/Record/rss_article:6079</link>
      <guid>https://search.frelip.org/Record/rss_article:6079</guid>
      <dc:format>Online Article</dc:format>
      <dc:format>RSS Article</dc:format>
      <dc:date>2017</dc:date>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
