scientific article; zbMATH DE number 176135

MaRDI QIDQ4035236zbMATH OpenFDO

Authors Gilles Dowek

Publication date 18 May 1993

zbMATH Keywords

type systemsecond-order-argument-restricted matching

Mathematics Subject Classification ID

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

Recommendations

• Efficient second-order matching
• Logic for Programming, Artificial Intelligence, and Reasoning
• scientific article; zbMATH DE number 2043532
• A typed pattern calculus
• scientific article; zbMATH DE number 29189

Cited in

(10)

• Third-order matching in the polymorphic lambda calculus
• scientific article; zbMATH DE number 626035 (Why is no real title available?)
• On the undecidability of second-order unification
• Efficient second-order matching
• Higher-order matching for program transformation
• Nominal syntax with atom substitutions
• scientific article; zbMATH DE number 29189 (Why is no real title available?)
• The undecidability of pattern matching in calculi where primitive recursive functions are representable
• scientific article; zbMATH DE number 2043532 (Why is no real title available?)
• Polynomial-time inverse computation for accumulative functions with multiple data traversals

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035236)