Type-based termination of recursive definitions Artigo Académico uri icon

autores

  • Frade, MJ
  • Barthe, G
  • Frade, MJ
  • Gimenez, E
  • Pinto, L
  • Uustalu, T

data de publicação

  • janeiro 1, 2004