%0 Journal Article
%T From Types to Sets by Local Type Definition in Higher-Order Logic
%A Kunčar, Ondřej
%A Popescu, Andrei
%J Journal of Automated Reasoning
$V 62
%N 2
%P 237-260
%@ 0168-7433
%D 2018
%I Springer Netherlands