Perguntas com a marcação «interaction-nets»

O termo a seguir (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))))))))) Quando aplicado a um número de igreja, Navalia rapidamente a forma normal em vários avaliadores existentes, incluindo ingênuos …

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

Os combinadores de interação foram propostos como um alvo de compilação para o cálculo λ antes. Esse documento implementa o cálculo λ completo. Sabe-se também que é possível otimizar codificações de interação-rede do cálculo λ para o subconjunto de termos λ que é tipável por EAL. Esse artigo implementa esse …

10 lambda-calculus  functional-programming  interaction-nets