An isomorphism theorem for models of Weak König's Lemma without primitive recursion - Marta Fiori-Carones; Leszek Aleksander Kołodziejczyk; Tin Lok Wong; Keita Yokoyama (2021)