Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
Philippe Granger | Synapse
PG
Philippe Granger
Logic, programming, and type systems
École Nationale Supérieure de Techniques Avancées
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
7 pubs · 395 cites · h-index 5
Affiliations
École Nationale Supérieure de Techniques Avancées
Carnegie Mellon University
École Polytechnique
See all
Publications