scientific article
From MaRDI portal
Publication:3356291
zbMath0731.03011MaRDI QIDQ3356291
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Church-Rosser propertyconservative extensions of formal mathematical theoriesExpression Reduction SystemRecursive Program SchemesTerm Rewriting System
Grammars and rewriting systems (68Q42) Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Nominal rewriting ⋮ The Prismoid of Resources ⋮ Expressing combinatory reduction systems derivations in the rewriting calculus ⋮ Developing developments ⋮ Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility ⋮ Expression reduction systems with patterns ⋮ Development closed critical pairs ⋮ On the longest perpetual reductions in orthogonal expression reduction systems
This page was built for publication: