scientific article
From MaRDI portal
Publication:3202990
zbMath0716.03006MaRDI QIDQ3202990
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40) Thue and Post systems, etc. (03D03)
Related Items (10)
Extended term rewriting systems ⋮ Levy Labels and Recursive Types ⋮ Open problems in rewriting ⋮ Binding in Nominal Equational Logic ⋮ On polymorphic types of untyped terms ⋮ How to think of intersection types as Cartesian products ⋮ Conditional linearization ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem ⋮ On the confluence of lambda-calculus with conditional rewriting ⋮ Descendants and origins in term rewriting.
This page was built for publication:
