Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...
A series of Lambda Calculus implementations starting from Simply Typed evaluation, then work up through bidirectional typechecking, normalization by evaluation, elaboration and then various type ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results