DC FieldValueLanguage
dc.contributor.authorDougherty, Danielen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorLescanne, Pierreen
dc.contributor.authorLikavec, Silviaen
dc.date.accessioned2020-05-02T16:42:22Z-
dc.date.available2020-05-02T16:42:22Z-
dc.date.issued2005-01-01en
dc.identifier.isbn978-3-540-30553-8-
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2608-
dc.description.abstractWe investigate some syntactic properties of Wadler's dual calculus, a term calculus which corresponds to classical sequent logic in the same way that parigot's λμ calculus corresponds to classical natural deduction. Our main result is strong normalization theoren for reduction in the dual calculus; we also prove some confluence results for the typed and untyped versions of the system.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleStrong normalization of the dual classical sequent calculusen
dc.typeArticleen
dc.relation.conference12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005-
dc.identifier.doi10.1007/11591191_13en
dc.identifier.scopus2-s2.0-33745440926en
dc.relation.firstpage169en
dc.relation.lastpage183en
dc.relation.volume3835 LNAIen
dc.description.rankM22-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

7
checked on Nov 19, 2024

Page view(s)

18
checked on Nov 19, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.