autores
- Frade, MJ
- Espírito Santo, José
- Santo, JE
- Frade, MJ
- Pinto, L
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
Artigo Académico
- Visão geral
- Pesquisas
- Identidade
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2023