Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/15499
Поље DC-а | Вредност | Језик |
---|---|---|
dc.contributor.author | Dougherty D. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Lescanne P. | en_US |
dc.date.accessioned | 2020-03-03T15:00:13Z | - |
dc.date.available | 2020-03-03T15:00:13Z | - |
dc.date.issued | 2008-05-28 | - |
dc.identifier.issn | 3043975 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/15499 | - |
dc.description.abstract | 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. | en_US |
dc.relation.ispartof | Theoretical Computer Science | en_US |
dc.title | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1016/j.tcs.2008.01.022 | - |
dc.identifier.scopus | 2-s2.0-43049098185 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/43049098185 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 128 | en_US |
dc.relation.firstpage | 114 | en_US |
dc.relation.issue | 1-3 | en_US |
dc.relation.volume | 398 | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Fakultet tehničkih nauka, Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Налази се у колекцијама: | FTN Publikacije/Publications |
SCOPUSTM
Навођења
16
проверено 09.09.2023.
Преглед/и станица
92
Протекла недеља
32
32
Протекли месец
6
6
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.