Towards a Dependently-Typed SK Combinator Calculus2025-07-18Lexi Aiello#lambda calculus #type theory Dependently-typed combinator calculus.[Read more]