Login / Signup

The Emptiness Problem for Intersection Types

Pawel Urzyczyn
Published in: LICS (1994)
Keyphrases
  • multiscale
  • artificial intelligence
  • cooperative
  • digital libraries
  • lower bound
  • mobile robot