Login / Signup

Categorifying Non-Idempotent Intersection Types.

Giulio GuerrieriFederico Olimpieri
Published in: CSL (2021)
Keyphrases
  • data sets
  • case study
  • special case
  • multi dimensional
  • intersection points