Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11696
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dezani-Ciancaglini M. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Venneri B. | en_US |
dc.date.accessioned | 2020-03-03T14:45:27Z | - |
dc.date.available | 2020-03-03T14:45:27Z | - |
dc.date.issued | 1997-01-01 | - |
dc.identifier.issn | 294527 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/11696 | - |
dc.description.abstract | The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionisticlogic. Moreover, typable terms are translated in a typed version, so that ∨-∧-typed combinatory logic terms are proved to completely codify the associated logical proofs. © 1997 by the University of Notre Dame. All rights reserved. | en_US |
dc.relation.ispartof | Notre Dame Journal of Formal Logic | en_US |
dc.title | The “Relevance” of intersection and union types | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1305/ndjfl/1039724889 | - |
dc.identifier.scopus | 2-s2.0-0005666858 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/0005666858 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 269 | en_US |
dc.relation.firstpage | 246 | en_US |
dc.relation.issue | 2 | en_US |
dc.relation.volume | 38 | 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 | - |
Appears in Collections: | FTN Publikacije/Publications |
SCOPUSTM
Citations
24
checked on Sep 9, 2023
Page view(s)
55
Last Week
0
0
Last month
0
0
checked on May 3, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.