Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/13898
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dougherty D. | en |
dc.contributor.author | Gilezan, Silvia | en |
dc.contributor.author | Lescanne P. | en |
dc.contributor.author | Likavec S. | en |
dc.date.accessioned | 2020-03-03T14:54:07Z | - |
dc.date.available | 2020-03-03T14:54:07Z | - |
dc.date.issued | 2005-01-01 | en |
dc.identifier.issn | 3029743 | en |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/13898 | - |
dc.description.abstract | We 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.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.title | Strong normalization of the dual classical sequent calculus | en |
dc.type | Conference Paper | en |
dc.identifier.doi | 10.1007/11591191_13 | en |
dc.identifier.scopus | 2-s2.0-33745440926 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/33745440926 | en |
dc.relation.lastpage | 183 | en |
dc.relation.firstpage | 169 | en |
dc.relation.volume | 3835 LNAI | en |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
SCOPUSTM
Citations
7
checked on Sep 9, 2023
Page view(s)
48
Last Week
19
19
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.