Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/13898
Назив: | Strong normalization of the dual classical sequent calculus | Аутори: | Dougherty D. Gilezan, Silvia Lescanne P. Likavec S. |
Датум издавања: | 1-јан-2005 | Часопис: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Сажетак: | 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. | URI: | https://open.uns.ac.rs/handle/123456789/13898 | ISSN: | 3029743 | DOI: | 10.1007/11591191_13 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
7
проверено 09.09.2023.
Преглед/и станица
48
Протекла недеља
19
19
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.