Calculi, Algorithms, Programs and Proofs

Short name: 

CAPP

Research type: 

Tags: 

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-quantum computational models are designed and studied, with a focus on Algorithms, Programs and Proofs.