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
Citations:1 - 1 self