Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão: https://gabrieldesh.github.io/concurrent-lambda-calculus/.
Desenvolvido como parte do trabalho final de graduação em Ciência da Computação, na Universidade Federal do Rio Grande do Sul (monografia no repositório Lume).
Consulte o diretório examples para ver exemplos de código.