Preguntas etiquetadas con interaction-nets

El siguiente término (usando índices bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Cuando se aplica a un número de iglesia se Nevalúa rápidamente a su forma normal en varios evaluadores existentes, …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

Los combinadores de interacción se han propuesto antes como objetivo de compilación para el cálculo λ. Ese documento implementa el cálculo λ completo. También se sabe que es posible optimizar las codificaciones de la red de interacción del cálculo λ para el subconjunto de términos λ que es de tipo …

10 lambda-calculus  functional-programming  interaction-nets