Programma's van lci.sf.net

LCI is tolk voor de lambda calculus. Het ondersteunt vele geavanceerde functies zoals gehele getallen, recursie, door de gebruiker gedefinieerde operators en meerdere evaluatiestrategieën.