Normalization results for typeable rewrite systems
type: Item
instance of: scholarly article
title: Normalization results for typeable rewrite systems
zbMATH Open document ID: 0877.68072
author: Steffen Van Bakel
author: Maribel Fernández
published in: Information and Computation
publication date: 1997-06-16T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1022242
zbMATH Keywords: Curryfied term rewriting systems
describes a project that uses: ML
describes a project that uses: Miranda
describes a project that uses: CLEAN
MaRDI profile type: Publication
OpenAlex ID: W2043802386
cites work: Q4490748
cites work: Complete restrictions of the intersection type discipline
cites work: Q4281463
cites work: Principal Type Schemes for the Strict Type Assignment System
cites work: Intersection type assignment systems
cites work: Q4880143
cites work: Q4281465
cites work: Modularity of strong normalization in the algebraic-λ-cube
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A filter lambda model and the completeness of type assignment
cites work: LEAN: An intermediate language based on graph rewriting
cites work: Q5284548
cites work: Q3771589
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Q5565113
cites work: Q4385532
cites work: Intersection types for combinatory logic
cites work: Q3994895
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: Confluence of curried term-rewriting systems
cites work: Comparing curried and uncurried rewriting
cites work: Q3817590
cites work: Q3805891
cites work: A theory of type polymorphism in programming
cites work: Intensional interpretations of functionals of finite type I
cites work: Q3721784
DOI: 10.1006/INCO.1996.2617
Recommended article: (Head-)normalization of typeable rewrite systems
Recommended article: Approximation and normalization results for typeable term rewriting systems
Recommended article: Q3982097
Recommended article: Strong normalization in type systems: A model theoretical approach
Recommended article: Q4246950
Recommended article: Typed Applicative Structures and Normalization by Evaluation for System F ω
Recommended article: Normalization by evaluation for modal dependent type theory
Recommended article: Normalization by Evaluation for Typed Weak lambda-Reduction
Recommended article: The simple type theory of normalisation by evaluation
Recommended article: Q4880706
description: scientific article; zbMATH DE number 1022242