Замкнутые категории и теория доказательств Г.Е. Минц (1977) Zapiski naucnych seminarov Leningradskogo
Категория конечных множеств и декартово замкнутые категории С.В. Соловьев (1981) Zapiski naucnych seminarov Leningradskogo
Равенство морфизмов и теорема когеррентности для бизамкнутых категорий А.А. Бабаев (1981) Zapiski naucnych seminarov Leningradskogo
Сохранение эквивалентности выводов при редукции глубины формул С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев, С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo