scientific article
From MaRDI portal
Publication:3783516
zbMath0642.68030MaRDI QIDQ3783516
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexityformal systemrewriting systemfunctional programmingcategorical combinatorstyped \(\lambda \)- calculus
Abstract data types; algebraic specification (68Q65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ On explicit substitution with names ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
This page was built for publication:
