On categorical equivalence of Gentzen-style derivations in IMLL
scientific article; zbMATH DE number 1965374
scientific article