On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions

DOI10.1093/jigpal/jzi039zbMath1083.68022OpenAlexW2111748048MaRDI QIDQ5716209

Martin Dostál

Publication date: 18 January 2006

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi039

zbMATH Keywords

lambda calculusautomatic programminghigher-order functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: On Evolving of Recursive Functions using λ-abstraction and Higher-order Functions