scientific article; zbMATH DE number 4182831

zbMath0717.68053MaRDI QIDQ5748888

Pierre-Louis Curien, Alejandro Ríos

Publication date: 1991

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

closure operationsubstitution

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40)

Related Items

Higher order unification via explicit substitutions