Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11210
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Lescanne P. | en_US |
dc.date.accessioned | 2020-03-03T14:43:26Z | - |
dc.date.available | 2020-03-03T14:43:26Z | - |
dc.date.issued | 2004-12-01 | - |
dc.identifier.issn | 3029743 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/11210 | - |
dc.description.abstract | Curien and Herbelin provided a Curry and Howard correspondence between classical prepositional logic and a computational model called λ̄μμμ which is a calculus for interpreting classical sequents. A new terminology for λ̄μμ̄ in terms of pairs of callers-callees which we name capsules enlightens a natural link between λ̄μμ̄ and process calculi. In this paper we propose an intersection type system λ̄μμ̄ which is an extension of λ̄μμ̄ with intersection types. We prove that all strongly normalizing λ̄μμ̄-terms are typeable in the new system, which was not the case in λ̄μμ̃. Also, we prove that all typeable μ̃-free terms are strongly normalizing. © Springer-Verlag 2004. | en_US |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en_US |
dc.title | Classical Proofs, Typed Processes, and Intersection Types Extended Abstract | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.scopus | 2-s2.0-35048848953 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/35048848953 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 241 | en_US |
dc.relation.firstpage | 226 | en_US |
dc.relation.volume | 3085 | 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 | - |
Appears in Collections: | FTN Publikacije/Publications |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.