Pulse Explorer nav.journalClub Débats Tendances Chercheurs

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

César Domínguez | Synapse

CD

César Domínguez

Logic, programming, and type systems

Universidad de La Rioja

About

Research focus

Logic, programming, and type systems

Impact

134 pubs · 1,414 cites · h-index 18

Affiliations

Work Experience

Universidad de La Rioja

2001 - 2025

Williams College

2016 - 2016

Universidad Internacional De La Rioja

2007 - 2016

Universidad Complutense de Madrid

2015 - 2015

Universidad de Zaragoza

2015 - 2015

Publications