The call-by-value Lambda-Calculus with generalized applications

Ver registo simples
dc.contributor.authorEspírito Santo, Josépor
dc.date.accessioned2021-05-29T16:33:24Z
dc.date.available2021-05-29T16:33:24Z
dc.date.issued2020
dc.description.abstractThe lambda-calculus with generalized applications is the Curry-Howard counterpart to the system of natural deduction with generalized elimination rules for intuitionistic implicational logic. In this paper we identify a call-by-value variant of the system and prove confluence, strong normalization, and standardization. In the end, we show that the cbn and cbv variants of the system simulate each other via mappings based on extensions of the "protecting-by-a-lambda" compilation technique.por
dc.description.sponsorshipFCT -Fundação para a Ciência e a Tecnologia(UID/MAT/00013/2013)por
dc.distributioninternationalpor
dc.identifier.doi10.4230/LIPIcs.CSL.2020.35por
dc.identifier.isbn978-3-95977-132-0por
dc.identifier.issn1868-8969por
dc.identifier.urihttps://hdl.handle.net/1822/73099
dc.language.isoengpor
dc.peerreviewedyespor
dc.publisherSchloss Dagstuhl - Leibniz-Zentrum für Informatikpor
dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147370/PTpor
dc.relation.publisherversionhttps://drops.dagstuhl.de/opus/volltexte/2020/11678/por
dc.rightsopenAccesspor
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/por
dc.subjectGeneralized applicationspor
dc.subjectNatural deductionpor
dc.subjectStandardizationpor
dc.subjectCall-by-valuepor
dc.subjectProtecting-by-a-lambdapor
dc.subjectCall-by-namepor
dc.subjectStrong normalizationpor
dc.subject.fosCiências Naturais::Matemáticaspor
dc.titleThe call-by-value Lambda-Calculus with generalized applicationspor
dc.typeconferencePaperpor
dspace.entity.typePublicationen
oaire.citationConferenceDate13 - 16 Jan. 2020por
oaire.citationConferencePlaceBarcelona, Espanhapor
oaire.citationVolume152por
oaire.versionVoRpor
sdum.conferencePublication28th EACSL Annual Conference on Computer Science Logic (CSL 2020)por
sdum.event.typeconferencepor
sdum.journalLeibniz International Proceedings in Informatics, LIPIcspor

Ficheiros

Pacote original

A mostrar 1 - 1 de 1
Nome:
main.pdf
Tamanho:
500.8 KB
Formato:
Adobe Portable Document Format
Descrição:
Descarregar

Coleções

CMAT - Artigos em atas de conferências e capítulos de livros com arbitragem | Papers in proceedings of conferences and book chapters with peer review