Filters








1,924 Hits in 5.5 sec

Reconciling positional and nominal binding

Davide Ancona, Paola Giannini, Elena Zucca
<span title="2013-07-30">2013</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist.  ...  In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positional basis, hence alpha-equivalence holds, whereas in the latter it is done on a nominal basis  ...  if for some variable there is no replacing term or it has the wrong type.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.121.6">doi:10.4204/eptcs.121.6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qu6ch3ufobehnmhuyooqfzbkri">fatcat:qu6ch3ufobehnmhuyooqfzbkri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223122550/http://pdfs.semanticscholar.org/44f9/1a879ea7b5cfb99ca865a24f88cd54a1aba1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/f9/44f91a879ea7b5cfb99ca865a24f88cd54a1aba1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.121.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Observational program calculi and the correctness of translations

Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
[Mil90] shows that the call-by-name as well as the call-by-value lambda calculus can be encoded into the π-calculus, by providing translations from the lambda calculi into the π-calculus and showing adequacy  ...  A similar result is obtained for the call-by-name lambda calculus with McCarthy's amboperator in [CHS05] where also adequacy of the translation is derived by first proving convergence equivalence (w.r.t  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2015.02.027">doi:10.1016/j.tcs.2015.02.027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3pl4smjufnbploj5gzv7jaj5ma">fatcat:3pl4smjufnbploj5gzv7jaj5ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170223010426/http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/3f/e73ffc0cd3aa914b045971ac53d3369fd2aff046.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2015.02.027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A framework for defining Object-Calculi extended abstract [chapter]

Frédéric Lang, Pierre Lescanne, Luigi Liquori
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The framework allows classifying very naturally many object-based calculi according to their main implementation techniques of inheritance, namely delegation and embedding, and their particular strategies  ...  Our framework is founded on two previous works: λObj + , a version of the Lambda Calculus of Objects of Fischer, Honsell, and Mitchell, for the object aspects, and λσ a w of Benaissa, Lescanne, and Rose  ...  The authors are grateful to Zine-El-Abidine Benaissa, Furio Honsell, and Kristoffer Høgsbro Rose for their useful comments on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48118-4_2">doi:10.1007/3-540-48118-4_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4zpj5crq5fcavikxm6zv36lzwy">fatcat:4zpj5crq5fcavikxm6zv36lzwy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502232330/https://link.springer.com/content/pdf/10.1007%2F3-540-48118-4_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/8a/ac8ab3d0541ba2d64ee785ab0851e59b6689c27f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48118-4_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi [article]

Andrew Gacek
<span title="2007-02-05">2007</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Supporting such a data structure in an implementation is made difficult by the complexity of the substitution operation relative to lambda terms.  ...  We prove properties of this calculus which make it a suitable replacement for the lambda calculus in implementation.  ...  As with the definition of lambda terms, we call (t t) an application and (λ t) an abstraction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0702027v1">arXiv:cs/0702027v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/32j2ndyzxnciroxzn4xhwzsgea">fatcat:32j2ndyzxnciroxzn4xhwzsgea</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0702027/cs0702027.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/97/5f9733f7dcb0f9186f034705ce2f4dcbcbe84831.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0702027v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

On generic context lemmas for higher-order calculi with sharing

Manfred Schmidt-Schauß, David Sabel
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
For calculi employing betareduction using a call-by-name or call-by-value strategy or similar reduction rules, some iu-variants of ciu-theorems are obtained from our context lemmas.  ...  As a guide-line, the proofs of the context lemmas are valid in call-by-need calculi, in call-by-value calculi if substitution is restricted to variable-byvariable and in process calculi like variants of  ...  Acknowledgement We thank the anonymous referees for their valuable comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2009.12.001">doi:10.1016/j.tcs.2009.12.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zo5qr5l3njhx3ji3vtl6l2f2eq">fatcat:zo5qr5l3njhx3ji3vtl6l2f2eq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171005020949/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ea9/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUwOTAwODEzNQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/06/da06c542ccb1b0e1b087572435bad5e87c683bbc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2009.12.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces

Benoit Valiron, Steve Zdancewic
<span title="">2014</span> <i title="Scientific Annals of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/drxmw4lrtff4fptvxxstnpfww4" style="color: black;">Scientific Annals of Computer Science</a> </i> &nbsp;
We then develop an algebraic extension of the finite lambda calculus and study two operational semantics: a call-by-name and a call-by-value.  ...  Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces 329 is call-by-value.  ...  Two Algebraic Lambda Calculi As discussed in Section 4.3.5, there are two possible ways for incorporing a "vectorial side-effect" into the language: either a call-by-name interpretation (with FreeCoalg  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7561/sacs.2014.2.325">doi:10.7561/sacs.2014.2.325</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/duruecqqdng3zf3vdvqlc7tyfa">fatcat:duruecqqdng3zf3vdvqlc7tyfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222115009/http://pdfs.semanticscholar.org/35c9/a851b59e8a1eea8cb353808d3be07bff0ec6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/35/c9/35c9a851b59e8a1eea8cb353808d3be07bff0ec6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7561/sacs.2014.2.325"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Equational axiomatization of call-by-name delimited control

Yukiyoshi Kameyama, Asami Tanaka
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP &#39;10</a> </i> &nbsp;
While many works in the literature study them in call-by-value, several recent works have shown call-by-name delimited control operators are also worth studying.  ...  In this paper, we study semantic foundation of the call-by-name variant of the delimited-control operators "shift" and "reset".  ...  The first author was partly supported by JSPS Grant-in-Aid for Scientific Research (B) 21300005.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1836089.1836100">doi:10.1145/1836089.1836100</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/KameyamaT10.html">dblp:conf/ppdp/KameyamaT10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nxoi2vib2fgcvlc3g6hmhabkhe">fatcat:nxoi2vib2fgcvlc3g6hmhabkhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808151053/http://www.cs.tsukuba.ac.jp/~kam/paper/ppdp2010.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/3d/a33d0d867fc70f4901bf220ff311046ac089f259.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1836089.1836100"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 4445 of Mathematical Reviews Vol. , Issue 99g [page]

<span title="">1999</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
under the name ‘hyper tableaux’ by P.  ...  Storage operators were introduced in pure lambda calculus by J. L.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1999-07_99g/page/4445" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1999-07_99g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A Call-by-Name CPS Hierarchy [chapter]

Asami Tanaka, Yukiyoshi Kameyama
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our strategy for developing such a hierarchy is to use the results for the call-by-value calculi as much as possible.  ...  We show that a call-by-name CPS hierarchy can be obtained by naturally extending the factorization to the calculi with control operators, and then prove several properties for this hierarchy.  ...  Biernacka and Biernacki [3] studied both call-by-value and call-by-name calculi for delimitedcontrol operators in a uniform way.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29822-6_21">doi:10.1007/978-3-642-29822-6_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wexxz45tffeqhldanxbgn3seki">fatcat:wexxz45tffeqhldanxbgn3seki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120714005232/http://logic.cs.tsukuba.ac.jp/~kam/paper/flops2012.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/e0/e2e022ebddc0e6619e1b7acbce860f802f8cc23d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-29822-6_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Labelled Lambda-calculi with Explicit Copy and Erase

Maribel Fernández, Nikolaos Siafakas
<span title="2010-03-30">2010</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
also keep track of exponential information present in call-by-value and call-by-name translations of the lambda-calculus into linear logic proof-nets.  ...  We present two rewriting systems that define labelled explicit substitution lambda-calculi.  ...  Labels in λ lca and paths in the call-by-name translation The particularities of the calculus are best understood via the correspondence to the call-by-name translation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.22.5">doi:10.4204/eptcs.22.5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i4dj6ftqufhnbhlrffimzawsba">fatcat:i4dj6ftqufhnbhlrffimzawsba</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1003.5515/1003.5515.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.22.5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A lambda-calculus for dynamic binding

Laurent Dami
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
We propose such a model, in the form of a il-calculus in which arguments are passed to functions along named channels _ so it is called ;l-calculus with names, or AN for short.  ...  By  ...  brackets must start with a name (the "label" of the variant), followed by an applicative sequence.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00150-3">doi:10.1016/s0304-3975(97)00150-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3x262x3ymvhzjomlc5o6gzo3oa">fatcat:3x262x3ymvhzjomlc5o6gzo3oa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190318173959/https://core.ac.uk/download/pdf/82810390.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5d/2e/5d2e2b7a82886d54f42a60f6e0f5e62778a6afe3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00150-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

TinkerType: a language for playing with formal systems

MICHAEL Y. LEVIN, BENJAMIN C. PIERCE
<span title="">2003</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
We present TinkerType and its implementation and describe its application to two substantial repositories of typed lambda-calculi.  ...  TinkerType is a pragmatic framework for compact and modular description of formal systems (type systems, operational semantics, logics, etc.).  ...  Acknowledgments This work was supported by the University of Pennsylvania and by NSF grants CCR-9701826, Principled Foundations for Programming with Objects and CCR-9912352, Modular Type Systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796802004550">doi:10.1017/s0956796802004550</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dbdjwg7dh5grfg5kuzarkllvm4">fatcat:dbdjwg7dh5grfg5kuzarkllvm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050216114423/http://www.cis.upenn.edu:80/~bcpierce/papers/tt-jfp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/1c/f21c4c1598827dac1692cbe618c38e240a47b173.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796802004550"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

A Survey of Quantum Programming Languages: History, Methods, and Tools [article]

Donald A. Sofge
<span title="2008-04-07">2008</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear  ...  Further, it is an attempt to analyze the needed programming tools for quantum programmers, to use this analysis to predict the direction in which the field is moving, and to make recommendations for further  ...  This language is occasionally called Q Language by the authors, but another perhaps more prominent functional language exists with the same name, (for which the Q stands for eQuation), thus use of this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0804.1118v1">arXiv:0804.1118v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gyi6j6n6xnet7gubikizmrct3a">fatcat:gyi6j6n6xnet7gubikizmrct3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191023175449/https://arxiv.org/pdf/0804.1118v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/58/ad589535382ac00d91e553d356618c3125849603.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0804.1118v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The Impact of the Lambda Calculus in Logic and Computer Science

Henk Barendregt
<span title="">1997</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nxnim3i24fhcvkvgruk2dej7yu" style="color: black;">Bulletin of Symbolic Logic</a> </i> &nbsp;
Church to logic is his invention of the lambda calculus.  ...  We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation  ...  Particularly interesting are the second and higher order calculi A2 and Aco introduced by [49] (under the names 'system F ' and 'system Fco') for appli cations to proof theory and the calculi with dependent  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/421013">doi:10.2307/421013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v7nedk3s3vfk3mob6ao5sl4b74">fatcat:v7nedk3s3vfk3mob6ao5sl4b74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210801044453/https://repository.ubn.ru.nl/bitstream/handle/2066/17274/1/13362.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/b3/44b398fdafe348fd8f86cd34dcf13dd94299882a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/421013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> jstor.org </button> </a>

Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi

Matthias Mann, Manfred Schmidt-Schauß
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
This paper deals with this challenge for call-by-need computation including non-determinism.  ...  The main result is that for SHOCS languages mutual similarity is sound for reasoning about contextual equivalence based on may-convergence.  ...  Acknowledgments Authors thank an anonymous referee for detecting an error and for further valuable hints, and also the other referees for their comments, hints and demands.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2009.11.003">doi:10.1016/j.ic.2009.11.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/32rimryxd5evll6xbskmnvj4wa">fatcat:32rimryxd5evll6xbskmnvj4wa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171002061307/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/b1e/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDg5MDU0MDEwOTAwMjMwMg%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/f5/b8f59e4175ec2750dcf5c37d2e8ed22fb10b01cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2009.11.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,924 results