An equivalence between lambda- terms (Q1322165): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q792313
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Chantal Berline / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(94)90012-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2008868842 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3342534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997016 / rank
 
Normal rank

Latest revision as of 14:31, 22 May 2024

scientific article
Language Label Description Also known as
English
An equivalence between lambda- terms
scientific article

    Statements

    An equivalence between lambda- terms (English)
    0 references
    0 references
    9 June 1994
    0 references
    \(\sigma\)-equivalence, which identifies terms differing only by permutation of radices, arises naturally from a translation of \(\lambda\)- terms into nets obtained by V. Danos and the author. This relation is given here a (simple) definition in the usual \(\lambda\)-calculus setting and it is proved that two \(\sigma\)-equivalent terms have the same normal form, if any, and the same operational behaviour with respect to the various reduction strategies (head, left, perpetual). It is also shown that the associated notion of \(\sigma\)-canonical form may be used to simplify case analysis when proving syntactical properties; this is applied to give a generalization of the perpetual strategy theorem.
    0 references
    lambda calculus
    0 references
    operational properties of lambda-terms
    0 references
    sigma- equivalence
    0 references
    perpetual strategy
    0 references
    0 references
    0 references
    0 references

    Identifiers