Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.
Beniamino Accattoli
― 12 min ler
Ciência de ponta explicada de forma simples
Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.
Beniamino Accattoli
― 12 min ler