Cette page présente la liste de publication de l'équipe CAPP.

CAPP est une équipe du LIG (Laboratoire d’Informatique de Grenoble) dédiée à l'informatique théorique.

CAPP est un lieu où des modèles de calculs classiques et non-classiques sont étudiés, avec un accent sur les algorithmes, les programmes et les preuves.

Nos travaux de recherche s'inscrivent dans les domaines de la démonstration automatique, de l'informatique quantique et des fondements théoriques des langages de programmation.