Simple SubTypes of Intersection Types
Statman, Rick, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2019-1864
Date:
October, 2019
File:
PDF, 220 KB
2019