Hacker News new | ask | show | jobs
Three-Valued Logic in the λ-Calculus (oktagonia.github.io)
3 points by octed 1195 days ago