gabrieldesh / concurrent-lambda-calculus Goto Github PK
View Code? Open in Web Editor NEWUma 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.
Home Page: https://gabrieldesh.github.io/concurrent-lambda-calculus