[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Polarised Intermediate Representation of Lambda Calculus with Sums
Munch-Maccagnoni, Guillaume, Scherer, GabrielРік:
2015
DOI:
10.1109/lics.2015.22
Файл:
PDF, 299 KB
2015