λ計算
lambda cube
Church encoding
Church encoding - Wikipedia the list using Scott encoding
Church encoding - Wikipedia#Represent the list using Scott encoding
Scott encoding
Mogensen–Scott encoding - Wikipedia