scientific article; zbMATH DE number 1303339
From MaRDI portal
Publication:4249892
zbMath0924.03047MaRDI QIDQ4249892
Publication date: 15 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
confluence\(\lambda\)-calculusexplicit reduction systemsfirst-order term rewriting systemsubstitution mechanism of general higher-order systems
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items (2)
This page was built for publication:
