Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/756
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Mackie, Ian | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2004-12-28T09:24:29Z | - |
dc.date.available | 2004-12-28T09:24:29Z | - |
dc.date.issued | 2002-08 | - |
dc.identifier.citation | “Information and Computation”. ISSN 0890-5401.176:2 (2002) 153-186. | eng |
dc.identifier.issn | 0890-5401 | por |
dc.identifier.other | doi:10.1006/inco.2002.3163 | - |
dc.identifier.uri | https://hdl.handle.net/1822/756 | - |
dc.description.abstract | The purpose of this paper is to demonstrate how Lafont’s interaction combinators, a system of three symbols and six interaction rules, can be used to encode linear logic. Specifically, we give a translation of the multiplicative, exponential and additive fragments of linear logic together with a strategy for cut-elimination which can be faithfully simulated. Finally, we show briefly how this encoding can be used for evaluating (...)-terms. In addition to offering a very simple, perhaps the simplest, system of rewriting for linear logic and the (...)-calculus, the interaction net implementation that we present has been shown by experimental testing to offer a good level of sharing, in terms of the number of cut-elimination steps (resp. (...)-reduction steps). In particular it performs better than all extant finite systems of interaction nets. | eng |
dc.language.iso | eng | - |
dc.publisher | Elsevier Science | eng |
dc.rights | openAccess | eng |
dc.subject | Interaction nets | eng |
dc.subject | Linear logic | eng |
dc.subject | Cut-elimination | eng |
dc.subject | Lambda-calculus | eng |
dc.subject | cut-elimation | por |
dc.subject | ?-calculus | por |
dc.title | Encoding linear logic with interaction combinators | eng |
dc.type | article | eng |
dc.peerreviewed | yes | eng |
oaire.citationStartPage | 153 | por |
oaire.citationEndPage | 186 | por |
oaire.citationIssue | 2 | por |
oaire.citationVolume | 176 | por |
dc.identifier.doi | 10.1006/inco.2002.3163 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Information and Computation | por |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
mackie-pinto.pdf | 2,89 MB | Adobe PDF | Ver/Abrir |