scientific article

zbMath0764.68045MaRDI QIDQ4035236

Gilles Dowek

Publication date: 18 May 1993

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

zbMATH Keywords

type systemsecond-order-argument-restricted matching

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Efficient second-order matching ⋮ Nominal syntax with atom substitutions ⋮ Third-order matching in the polymorphic lambda calculus ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals ⋮ The undecidability of pattern matching in calculi where primitive recursive functions are representable ⋮ Higher-order matching for program transformation ⋮ On the undecidability of second-order unification

This page was built for publication: