ホーム
探索
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
Work Experience
Laboratoire de Chimie Théorique
2026 - Present
Publications