A completeness result for a realisability semantics for an intersection type system (0)

by F Kamareddine, K Nour
Venue:Ann. Pure Appl. Logic