На вход дается лямбда-выражение. Нужно привести данное лямбда-выражение с расставленными скобками
Дано лямбда-выражение, имеющее нормальную форму. Треюуется его нормализовать
На вход данно лямбда-выражение. Требуется найти наиболее общий тип этого лямбда выражения и вывести доказательство того, что лямда-выражение имеет этот тип, а также найти типы свободных переменных, содержащихся в лямбда-выражении, или же сказать, что лямбда-выражение не имеет тип
Доказать, что если a > b (a и b - натуральные), то a ^ 2 > b ^ 2
Доказать, что max(a, min(a, b)) = a (a и b - натуральные)