১৯৬৪ সালে,পিটার ল্যানডিন ই প্রথম যিনি বুঝতে পেরেছিলেন যে আলোন্‌জো চার্চ এর ল্যামডা ক্যালকুলাস মডেল প্রোগ্রামিং ভাষায় ব্যবহার করা যেতে পারে।