L
lambda calculus
Projects with this topic
-
Writing a prime number generator in lambda calculus, starting from first principles.
Updated -
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Updated -
Simply typed lambda calculus engine made with OCaml (2021, Programmation fonctionnelle)
Updated -
Derivational representations of natural language semantics, using a typed lambda calculus, implemented in Racket Scheme.
Updated -
Experiments and studies with lambda calculus
Updated