L

lambda calculus

A functional programming language that started as a calculator

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

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.

Interpeter for Lambda Calculus

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

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

Experiments and studies with lambda calculus