VictorTaelin/Interaction-Calculus

Uma linguagem de programação e modelo de computação que corresponde perfeitamente ao algoritmo de redução de cálculo λ ideal.

Estrelas

948

Bifurcações

Linguagem

Licença

—

Último push

há 10 meses

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.