3,362 followers
@1997_takahashi 主に計算機科学方面のモチベだと思います。 https://t.co/41fpGIna50 https://t.co/V1aAfw2XXP
@1997_takahashi 主に計算機科学方面のモチベだと思います。 https://t.co/41fpGIna50 https://t.co/V1aAfw2XXP
#Computer #Info #OA Comprehensive parametric polymorphism : categorical models and type theory https://t.co/cGpduM46dE #Science #OpenAccess