Paul Halmos' work on Algebraic Logic may be relevant. (And see also Conal Elliot... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

carapace on Oct 24, 2018 | parent | context | favorite | on: Algebra and the Lambda Calculus (1993)

Paul Halmos' work on Algebraic Logic may be relevant.

(And see also Conal Elliott's "Compiling to Categories" http://conal.net/papers/compiling-to-categories/ )

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact