Uma olhada em uma abordagem pouco convencional para avaliação de expressões.
― 6 min ler
Beniamino Accattoli
Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.
― 12 min ler
Ciência de ponta explicada de forma simples
Uma olhada em uma abordagem pouco convencional para avaliação de expressões.
― 6 min ler
Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.
― 12 min ler