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/11432
Pоljе DC-а | Vrеdnоst | Јеzik |
---|---|---|
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-03T14:44:23Z | - |
dc.date.available | 2020-03-03T14:44:23Z | - |
dc.date.issued | 2004-01-01 | - |
dc.identifier.isbn | 1581138199 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/11432 | - |
dc.description.abstract | We investigate some fundamental properties of the reduction relation in the untyped term alculus derived from Curien and Herbelin's λμμ The original λμμ has a system of simple types, based on sequent calculus, embodying a Curry-Howard correspondence with classical logic; the significance of the untyped calculus of raw terms is that it is a Turing-complete language for computation with explicit representation of control as well as code. We define a type assignment system for the raw terms satisfying: a term is typable if and only if it is strongly normalizing. The intrinsic symmetry in the λμμ calculus leads to an essential use of both intersection and union types; in contrast to other union-types systems in the literature, our system enjoys the Subject Reduction property. | en_US |
dc.relation.ispartof | Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04 | en_US |
dc.title | Characterizing strong normalization in a language with control operators | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.scopus | 2-s2.0-11244344087 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/11244344087 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 166 | en_US |
dc.relation.firstpage | 155 | en_US |
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 | - |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prеglеd/i stаnicа
83
Prоtеklа nеdеljа
31
31
Prоtеkli mеsеc
0
0
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.