Categorifying Non-Idempotent Intersection Types.

Giulio Guerrieri, Federico Olimpieri

Browse the full CSL paper archive.