scientific article; zbMATH DE number 176135

zbMATH Open0764.68045MaRDI QIDQ4035236FDOQ4035236

Authors: Gilles Dowek 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

type systemsecond-order-argument-restricted matching

Mathematics Subject Classification ID

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

Cited In (10)

• Third-order matching in the polymorphic lambda calculus
• Title not available (Why is that?)
• On the undecidability of second-order unification
• Efficient second-order matching
• Higher-order matching for program transformation
• Nominal syntax with atom substitutions
• Title not available (Why is that?)
• The undecidability of pattern matching in calculi where primitive recursive functions are representable
• Title not available (Why is that?)
• 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)