الرئيسية
استكشاف
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