홈
탐색
nav.journalClub
트렌드
더보기
Synapse
⌘+K
Synapse
언어
한국어
한국어
Gregory J. Duck | Synapse
GJ
Gregory J. Duck
Logic, programming, and type systems
National University of Singapore
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
55 pubs · 1,705 cites · h-index 16
Affiliations
National University of Singapore
Royal Holloway University of London
Data61
See all
Publications