Pulse 探索 nav.journalClub 議論トレンド研究者ジャーナル

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

ホーム探索 nav.journalClub トレンド

⌘+K

Snapkitty Collective | Synapse

SC

Snapkitty Collective

Logic, programming, and type systems

About

Research focus

Logic, programming, and type systems

Impact

6 pubs

Publications