This web page contains the publication list of the CAPP team.

CAPP is a team of the LIG (Laboratoire d’Informatique de Grenoble) devoted to theoretical computer science.

The CAPP group is a place where both classical and non-classical Computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.

Our research topics belong to the domains of automated reasoning, quantum computing and the theoretical foundations of programming languages.