首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Armstrong Knight | Synapse
AK
Armstrong Knight
Logic, programming, and type systems
Laboratoire de Chimie Théorique
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
10 pubs
Affiliations
Laboratoire de Chimie Théorique
Publications