[ACM Press the Workshop - Oxford, United Kingdom (2017.09.08-2017.09.08)] Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '17 - Towards a Logical Framework with Intersection and Union Types
Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, IvanYear:
2017
Language:
english
DOI:
10.1145/3130261.3130262
File:
PDF, 690 KB
english, 2017