Programma's van slc.sf.net

Symbolische Lambda Calculus is een logisch formalisme gebaseerd op lambda calculus en combinatorische logica, waarin er slechts één soort objecten is, die termen of equalities kunnen vertegenwoordigen. Het maakt gebruik van d