Publication:3857730
From MaRDI portal
zbMath0423.68048MaRDI QIDQ3857730
Publication date: 1978
68Q65: Abstract data types; algebraic specification
68T99: Artificial intelligence
03B40: Combinatory logic and lambda calculus
Related Items
A useful \(\lambda\)-notation, Lambda-calculus with director strings, Intersection types for explicit substitutions, λν, a calculus of explicit substitutions which preserves strong normalisation