Azimuth Forum
Visit Site
Any typed lambda calculus with products works. I think linear logic forms one under either conjunction.
The real numbers under addition?
Conway games under addition?
Version 2.1.8p2