Proofs, Categories and Computations. Essays in Honor of Grigori Mints