Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
Dudenhefner, Andrej, Rehof, Jakob, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1856
Date:
October, 2019
File:
PDF, 253 KB
2019