DC FieldValueLanguage
dc.contributor.authorDougherty, Danielen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorLescanne, Pierreen
dc.date.accessioned2020-05-02T16:42:22Z-
dc.date.available2020-05-02T16:42:22Z-
dc.date.issued2005-07-19en
dc.identifier.issn1571-0661en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2607-
dc.description.abstractThe original λ̄μμ̃ of Curien and Herbelin has a system of simple types, based on sequent calculus, embodying a Curry-Howard correspondence with classical logic. We introduce and discuss three type assignment systems that are extensions of λ̄μμ̃ with intersection and union types. The intrinsic symmetry in the λ̄μ μ̃ calculus leads to an essential use of both intersection and union types.en
dc.publisherElsevier-
dc.relation.ispartofElectronic Notes in Theoretical Computer Scienceen
dc.subjectClassical logic | Curry-Howard correspondence | Intersection types | Union types | λ̄μμ̃-calculusen
dc.titleIntersection and union types in the λ̄μμ̃-calculusen
dc.typeConference Paperen
dc.relation.conference3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004-
dc.identifier.doi10.1016/j.entcs.2005.06.010en
dc.identifier.scopus2-s2.0-21744460433en
dc.relation.firstpage153en
dc.relation.lastpage172en
dc.relation.volume136en
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

4
checked on Sep 8, 2024

Page view(s)

2
checked on Sep 7, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.