Symbolic manipulation in an extended λ-calculus

DOI10.1145/43882.43885zbMath0634.68025OpenAlexW2060879461MaRDI QIDQ3773328

Terry Flaherty

Publication date: 1988

Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/43882.43885

zbMATH Keywords

\(\lambda \)-calculus programming languagesymbolic differentiation functional

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Symbolic manipulation in an extended λ-calculus