Please use this identifier to cite or link to this item: https://open.uns.ac.rs/handle/123456789/13898
DC FieldValueLanguage
dc.contributor.authorDougherty D.en
dc.contributor.authorGilezan, Silviaen
dc.contributor.authorLescanne P.en
dc.contributor.authorLikavec S.en
dc.date.accessioned2020-03-03T14:54:07Z-
dc.date.available2020-03-03T14:54:07Z-
dc.date.issued2005-01-01en
dc.identifier.issn3029743en
dc.identifier.urihttps://open.uns.ac.rs/handle/123456789/13898-
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. © Springer-Verlag Berlin Heidelberg 2005.en
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.typeConference Paperen
dc.identifier.doi10.1007/11591191_13en
dc.identifier.scopus2-s2.0-33745440926en
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/33745440926en
dc.relation.lastpage183en
dc.relation.firstpage169en
dc.relation.volume3835 LNAIen
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptDepartman za opšte discipline u tehnici-
crisitem.author.orcid0000-0003-2253-8285-
crisitem.author.parentorgFakultet tehničkih nauka-
Appears in Collections:FTN Publikacije/Publications
Show simple item record

SCOPUSTM   
Citations

7
checked on Sep 9, 2023

Page view(s)

48
Last Week
19
Last month
0
checked on May 10, 2024

Google ScholarTM

Check

Altmetric


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