scientific article; zbMATH DE number 3619856
From MaRDI portal
Publication:4182476
zbMath0399.03013MaRDI QIDQ4182476
Henri Volken, Jan A. Bergstra, Jan Willem Klop, Hendrik Pieter Barendregt
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Higher-order families ⋮ Unnamed Item ⋮ Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters ⋮ Asymptotic Properties of Combinatory Logic ⋮ Quantitative weak linearisation ⋮ Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Descendants and origins in term rewriting. ⋮ Conservation and uniform normalization in lambda calculi with erasing reductions ⋮ Minimality in a Linear Calculus with Iteration
This page was built for publication:
