Claude Stolze, Luigi Liquori, Furio Honsell, Ivan Scagnetto. Towards a Logical Framework with Intersection and Union Types. International Workshop on Logical Frameworks and Meta-languages, Sep 2017, Oxford, United Kingdom. pp.1 - 9, 2017, 〈10.1007/3-540-4
HAL Archives-Ouvertes,
Claude Stolze, Luigi Liquori, Furio Honsell, Ivan Scagnetto. Towards a Logical Framework with Intersection and Union Types.