lambda calculus

Interpeter for Lambda Calculus

An interpreter that translates input strings into lambda calculus expressions using parser combinators in Haskell.

Writing a prime number generator in lambda calculus, starting from first principles.

A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq

Simply typed lambda calculus engine made with OCaml (2021, Programmation fonctionnelle)

Derivational representations of natural language semantics, using a typed lambda calculus, implemented in Racket Scheme.

Experiments and studies with lambda calculus