scientific article; zbMATH DE number 786542

MaRDI QIDQ4843016zbMATH OpenFDO

Authors Z. Budimac, Dragan Maćoš, Mirjana Ivanović

Publication date 16 April 1996

zbMATH Keywords

bracket abstraction algorithms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Symbolic computation and algebraic computation (68W30)

Recommendations

• Some improvements to Turner's algorithm for bracket abstraction
• scientific article; zbMATH DE number 4035776
• Abstraction problems in combinatory logic: A compositive approach
• Compact bracket abstraction in combinatory logic
• Expedited Broda-Damas bracket abstraction

Cited in

(5)

• Abstraction problems in combinatory logic: A compositive approach
• \(\lambda\) to SKI, semantically -- declarative pearl
• Expedited Broda-Damas bracket abstraction
• Some improvements to Turner's algorithm for bracket abstraction
• scientific article; zbMATH DE number 4035776 (Why is no real title available?)

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