507 followers
@functional_yy “A Characterisation of Multiply Recursive Functions with Higman’s Lemma”(http://t.co/NRzI0eK56y)なんかはどうなのかな?
@functional_yy “A Characterisation of Multiply Recursive Functions with Higman’s Lemma”(http://t.co/NRzI0eK56y)なんかはどうなのかな?