Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
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