Есть ли четкий способ найти термины в лямбда-исчислении? Например, предположим, что у нас есть конструктор пары pair = λa. λb. λf. f a b и у нас есть конструктор fst fst = λp. p (λa. λb. a) который возвращает первый элемент...