1
ラムダ計算を研究していて、それについての基礎知識しかありません。私は多くのウェブサイトと論文を読んで、ロジック（T/F /および/または）、述語と後継者がどのように働くのかを理解していますが、このラムダ計算を使用してプログラミングで他のことを達成する方法はわかりません。ラムダ計算で正と負の整数と有理数を定義する方法
ラムダ計算で自然数と有理数のペアを整数のペアとして使用して、正と負の整数を定義する方法を知りたいと思います。
ありがとうございました。