Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications Artigo Académico uri icon

autores

  • Frade, MJ
  • Santo, JE
  • Frade, MJ
  • Pinto, L

data de publicação

  • janeiro 1, 2023