Programmi di slc.sf.net

Il calcolo simbolico di Lambda è un formalismo logico basato sul calcolo lambda e sulla logica combinatoria, in cui esiste un solo tipo di oggetto, che può rappresentare termini o qualità. Usa le notazioni di calcolo di de Br