869 followers SoSyM Journal @sosym_journal #OnlineFirst: Unifying nominal and structural typing, Thomas Kühne, https://t.co/aWqAJEcxz3 04 Mar 2018 Reply Repost Favourite