首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Claude Kirchner | Synapse
CK
Claude Kirchner
Logic, programming, and type systems
Institut national de recherche en sciences et technologies du numérique
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
410 pubs · 6,262 cites · h-index 37
Affiliations
Institut national de recherche en sciences et technologies du numérique
California Native Plant Society
Institut National de Santé Publique
See all
Publications