Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitlePostponement, conservation and preservation of strong normalization for generalized reduction.AuthorsKamareddine, F; Kamareddine, FairouzAbstractStudies the reduction relation satisfying postponement of betakappa-contractions and the conservation theorem. Lambda-calculus with generalized reduction; Overview of generalized reduction in the literature; Generalized conservation for beta[sub e].SubjectsLAMBDA calculusPublicationJournal of Logic & Computation, 2000, Vol 10, Issue 5, p721ISSN0955-792XPublication typeArticleDOI10.1093/logcom/10.5.721