Лучше всего, в начале, стоит почитать пару глав отсюда
Изоморфизм Карри Говарда. Так будет достаточно просто вникнуть в лямбду.
Затем я бы рекомендовал
вот этот учебник, он так же дает большое понимание происходящего.
Ну, а самое главное - практика. Так лучше всего что-то поймете.