Login / Signup

Computing with Recursive Types (Extended Abstract)

Stavros S. Cosmadakis
Published in: LICS (1989)
Keyphrases
  • extended abstract
  • learning algorithm
  • real time
  • information technology