index - CAPP

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.

We are interested in rewriting and theoretical foundations of programming languages, logic and automated reasoning, and quantum computing.