Claude Stolze, Luigi Liquori, Furio Honsell, Ivan Scagnetto. Towards a Logical Framework with Intersection and Union Types.
11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9, 2017.
〈hal-01534035v2〉