3 ms·
See also here for a slightly different but related approach: http://user.it.uu.se/~kostis/Papers/succ_types.pdf http://user.it.uu.se/~kostis/Papers/succ_types.p
by klibertp 12y ago
See also here for a slightly different but related approach: http://user.it.uu.se/~kostis/Papers/succ_types.pdf http://user.it.uu.se/~kostis/Papers/succ_types.pdf