Programmi di petit-lambda.sf.net

Interprete del lambda calculus.Mostra un processo di riduzione dei termini lambda.Sono supportate diverse strategie di valutazione.Il formato di output può essere selezionato dal lattice, testo normale.