Programy według slc.sf.net

Symboliczny Rachunek Lambda jest logicznym formalizmem opartym na rachunku lambda i logice kombinacyjnej, w którym istnieje tylko jeden rodzaj obiektów, które mogą reprezentować albo terminy, albo równość. Używa de Bruijn's i