Three-Valued Logic in the λ-Calculus(oktagonia.github.io)3 points·by octed·vor 3 Jahren·0 commentsoktagonia.github.ioThree-Valued Logic in the λ-Calculushttps://oktagonia.github.io/blog/ternary/ternary.html0 commentsPost comment—