홈
탐색
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