Login / Signup

Intersection type calculi of bounded dimension.

Andrej DudenhefnerJakob Rehof
Published in: POPL (2017)
Keyphrases
  • artificial intelligence
  • multi agent
  • rough sets