PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
TL

Telmo Luis Correa

Logic, programming, and type systems
Massachusetts Institute of Technology

About

Research focus

Logic, programming, and type systems

Impact

4 pubs · 190 cites · h-index 3

Affiliations

Publications