Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/73099Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Espírito Santo, José | por |
| dc.date.accessioned | 2021-05-29T16:33:24Z | - |
| dc.date.available | 2021-05-29T16:33:24Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.isbn | 978-3-95977-132-0 | por |
| dc.identifier.issn | 1868-8969 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/73099 | - |
| dc.description.abstract | The 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.sponsorship | FCT -Fundação para a Ciência e a Tecnologia(UID/MAT/00013/2013) | por |
| dc.language.iso | eng | por |
| dc.publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | por |
| dc.relation | info:eu-repo/grantAgreement/FCT/5876/147370/PT | por |
| dc.rights | openAccess | por |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | por |
| dc.subject | Generalized applications | por |
| dc.subject | Natural deduction | por |
| dc.subject | Standardization | por |
| dc.subject | Call-by-value | por |
| dc.subject | Protecting-by-a-lambda | por |
| dc.subject | Call-by-name | por |
| dc.subject | Strong normalization | por |
| dc.title | The call-by-value Lambda-Calculus with generalized applications | por |
| dc.type | conferencePaper | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | https://drops.dagstuhl.de/opus/volltexte/2020/11678/ | por |
| oaire.citationConferenceDate | 13 - 16 Jan. 2020 | por |
| sdum.event.type | conference | por |
| oaire.citationConferencePlace | Barcelona, Espanha | por |
| oaire.citationVolume | 152 | por |
| dc.identifier.doi | 10.4230/LIPIcs.CSL.2020.35 | por |
| dc.subject.fos | Ciências Naturais::Matemáticas | por |
| sdum.journal | Leibniz International Proceedings in Informatics, LIPIcs | por |
| sdum.conferencePublication | 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) | por |
| oaire.version | VoR | por |
| Aparece nas coleções: | ||
Este trabalho está licenciado sob uma Licença Creative Commons
