Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/15499
Назив: | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Аутори: | Dougherty D. Gilezan, Silvia Lescanne P. |
Датум издавања: | 28-мај-2008 | Часопис: | Theoretical Computer Science | Сажетак: | We develop an intersection type system for the over(λ, -) μ over(μ, ̃) calculus of Curien and Herbelin. This calculus provides a symmetric computational interpretation of classical sequent style logic and gives a simple account of call-by-name and call-by-value. The present system improves upon earlier type disciplines for over(λ, -) μ over(μ, ̃): in addition to characterizing the over(λ, -) μ over(μ, ̃) expressions that are strongly normalizing under free (unrestricted) reduction, the system enjoys the Subject Reduction and the Subject Expansion properties. © 2008 Elsevier Ltd. All rights reserved. | URI: | https://open.uns.ac.rs/handle/123456789/15499 | ISSN: | 3043975 | DOI: | 10.1016/j.tcs.2008.01.022 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
16
проверено 09.09.2023.
Преглед/и станица
92
Протекла недеља
32
32
Протекли месец
6
6
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.