An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism

by Till Mossakowski, Florian Rabe, Valeria De Paiva, Lutz Schröder, Joseph Goguen