scientific article; zbMATH DE number 1547155

MaRDI QIDQ4522553zbMATH OpenFDO

Authors Luigi Mazzucchelli, Dario Pasquali-Coluzzi

Publication date 25 March 2001

zbMATH Keywords

functional languageslambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• \(\lambda ^{\prime}\)-optimal digraphs
• Λ-trees and their applications
• Graph lambda theories
• scientific article; zbMATH DE number 6945770
• Towards an optimal algorithm for recognizing Laman graphs
• On optimally-\(\lambda^{(3)}\) transitive graphs
• scientific article; zbMATH DE number 1523048
• Some constructions of \lambda-minimal graphs
• Sufficient conditions for graphs to be \({\lambda^\prime}\)-optimal
• Deriving a class of layer-oriented graph algorithms

Cited in

(6)

• Sharing implementations of graph rewriting systems
• scientific article; zbMATH DE number 3907748 (Why is no real title available?)
• scientific article; zbMATH DE number 730042 (Why is no real title available?)
• Efficientk-NN graph construction for graphs on variables
• The optimal implementation of functional programming languages
• Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data

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 Q4522553)