DC FieldValueLanguage
dc.contributor.authorEspírito Santo, Joséen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorIvetić, Jelenaen
dc.date.accessioned2020-05-02T16:42:21Z-
dc.date.available2020-05-02T16:42:21Z-
dc.date.issued2008-06-09en
dc.identifier.isbn978-3-540-68084-5en
dc.identifier.issn0302-9743en
dc.description.abstractThis paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the typing system is reduced to that of a well known typing system with intersection types for the ordinary λ-calculus. The completeness of the typing system is obtained from subject expansion at root position. This paper's sequent term calculus integrates smoothly the λ-terms with generalised application or explicit substitution. Strong normalisability of these terms as sequent terms characterises their typeability in certain "natural" typing systems with intersection types. The latter are in the natural deduction format, like systems previously studied by Matthes and Lengrand et al., except that they do not contain any extra, exceptional rules for typing generalised applications or substitution.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleCharacterising strongly normalising intuitionistic sequent termsen
dc.typeArticleen
dc.relation.conferenceInternational Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007-
dc.identifier.doi10.1007/978-3-540-68103-8_6en
dc.identifier.scopus2-s2.0-44649175921en
dc.relation.firstpage85en
dc.relation.lastpage99en
dc.relation.volume4941 LNCSen
dc.description.rankM23-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

4
checked on Nov 27, 2022

Page view(s)

21
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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