Programas por slc.sf.net

El cálculo de lambda simbólico es un formalismo lógico basado en el cálculo lambda y la lógica combinatoria, en el que solo hay un tipo de objetos, que pueden representar términos o igualdades. Utiliza las notaciones de Cálcu