View in EDS

Infinitary lambda calculus and discrimination of Berarducci trees

Saved in:
Bibliographic Details
Title: Infinitary lambda calculus and discrimination of Berarducci trees
Authors: Dezani-Ciancaglini, Mariangiola1 dezani@di.unito.it, Severi, Paula2 severi@cmat.edu.uy, de Vries, Fer-Jan3 ferjan@mcs.le.ac.uk
Source: Theoretical Computer Science. Apr2003, Vol. 298 Issue 2, p275. 28p.
Subjects: Lambda calculus, Mathematical logic
Abstract: We propose an extension of lambda calculus for which the Berarducci trees equality coincides with observational equivalence, when we observe rootstable or rootactive behavior of terms. In one direction the proof is an adaptation of the classical Bo¨hm out technique. In the other direction the proof is based on confluence for strongly converging reductions in this extension. [Copyright &y& Elsevier]
Copyright of Theoretical Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 9341928
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Infinitary lambda calculus and discrimination of Berarducci trees
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Dezani-Ciancaglini%2C+Mariangiola%22">Dezani-Ciancaglini, Mariangiola</searchLink><relatesTo>1</relatesTo><i> dezani@di.unito.it</i><br /><searchLink fieldCode="AR" term="%22Severi%2C+Paula%22">Severi, Paula</searchLink><relatesTo>2</relatesTo><i> severi@cmat.edu.uy</i><br /><searchLink fieldCode="AR" term="%22de+Vries%2C+Fer-Jan%22">de Vries, Fer-Jan</searchLink><relatesTo>3</relatesTo><i> ferjan@mcs.le.ac.uk</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Theoretical+Computer+Science%22">Theoretical Computer Science</searchLink>. Apr2003, Vol. 298 Issue 2, p275. 28p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Lambda+calculus%22">Lambda calculus</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+logic%22">Mathematical logic</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We propose an extension of lambda calculus for which the Berarducci trees equality coincides with observational equivalence, when we observe rootstable or rootactive behavior of terms. In one direction the proof is an adaptation of the classical Bo¨hm out technique. In the other direction the proof is based on confluence for strongly converging reductions in this extension. [Copyright &y& Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Theoretical Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=9341928
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/S0304-3975(02)00809-5
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 28
        StartPage: 275
    Subjects:
      – SubjectFull: Lambda calculus
        Type: general
      – SubjectFull: Mathematical logic
        Type: general
    Titles:
      – TitleFull: Infinitary lambda calculus and discrimination of Berarducci trees
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Dezani-Ciancaglini, Mariangiola
      – PersonEntity:
          Name:
            NameFull: Severi, Paula
      – PersonEntity:
          Name:
            NameFull: de Vries, Fer-Jan
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 08
              M: 04
              Text: Apr2003
              Type: published
              Y: 2003
          Identifiers:
            – Type: issn-print
              Value: 03043975
          Numbering:
            – Type: volume
              Value: 298
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Theoretical Computer Science
              Type: main
ResultId 1