All Stories

  1. On automatic problem solving and automatic programming: the $-calculus approach