Geometric and Categorical Structures in Computation and Deduction

Program of the workshop

Scientific Committee

Organizing Committee