ホーム
探索
nav.journalClub
トレンド
その他
Synapse
⌘+K
Synapse
言語
日本語
日本語
Mark Adams | Synapse
MA
Mark Adams
Logic, programming, and type systems
University of Reading
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
18 pubs · 554 cites · h-index 8
Affiliations
University of Reading
University of Edinburgh
Radboud University Nijmegen
See all
Publications