Generating lambda term individuals in typed genetic programming using forgetful A* | IEEE Conference Publication | IEEE Xplore