For questions about logical systems defined via the application and term-rewriting of combinators. These systems often have a close connection to the lambda calculus.
For questions about logical systems defined via the application and term-rewriting of combinators. These systems often have a close connection to the lambda calculus.