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/2892
Pоljе DC-а | Vrеdnоst | Јеzik |
---|---|---|
dc.contributor.author | Santo J. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.date.accessioned | 2019-09-23T10:24:26Z | - |
dc.date.available | 2019-09-23T10:24:26Z | - |
dc.date.issued | 2017-10-09 | - |
dc.identifier.isbn | 9781450352918 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/2892 | - |
dc.description.abstract | © 2017 Copyright held by the owner/author(s). We study strong normalization in a lambda calculus of proof-terms with co-control for the intuitionistic sequent calculus. In this sequent lambda calculus, the management of formulas on the left hand side of typing judgements is "dual" to the management of formulas on the right hand side of the typing judgements in Parigot's lambdamu calculus - that is why our system has first-class "co-control". The characterization of strong normalization is by means of intersection types, and is obtained by analyzing the relationship with another sequent lambda calculus, without co-control, for which a characterization of strong normalizability has been obtained before. The comparison of the two formulations of the sequent calculus, with or without co-control, is of independent interest. Finally, since it is known how to obtain bidirectional natural deduction systems isomorphic to these sequent calculi, characterizations are obtained of the strongly normalizing proof-terms of such natural deduction systems. | en_US |
dc.relation.ispartof | ACM International Conference Proceeding Series | en_US |
dc.title | Characterization of strong normalizability for a sequent lambda calculus with co-control | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | 10.1145/3131851.3131867 | - |
dc.identifier.scopus | 2-s2.0-85033701105 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85033701105 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 174 | en_US |
dc.relation.firstpage | 163 | en_US |
dc.relation.volume | Part F131196 | 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 |
SCOPUSTM
Nаvоđеnjа
1
prоvеrеnо 10.05.2024.
Prеglеd/i stаnicа
77
Prоtеklа nеdеljа
30
30
Prоtеkli mеsеc
2
2
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.