A. A. Babaev

On conditions of full coherence in biclosed categories: a new application of proof theory

Sergei Soloviev, A. A. Babaev, 1988, Conference on Computer Logic.

Parallel code NSBC: Simulations of relativistic nuclei scattering by a bent crystal

A. A. Babaev, 2014, Comput. Phys. Commun..

Clifford's Algebra and a Solution of the Bargmann–Michel–Telegdi Equation

A. A. Babaev, 2004 .

A coherence theorem for canonical morphisms in cartesian closed categories

A. A. Babaev, S. V. Solov'ev, 1982 .

Procedures of encoding and decoding of permutations

A. A. Babaev, 1984 .