Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/15499
Nаziv: | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Аutоri: | Dougherty D. Gilezan, Silvia Lescanne P. |
Dаtum izdаvаnjа: | 28-мај-2008 | Čаsоpis: | Theoretical Computer Science | Sažetak: | 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
16
prоvеrеnо 09.09.2023.
Prеglеd/i stаnicа
92
Prоtеklа nеdеljа
32
32
Prоtеkli mеsеc
6
6
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.