Results 1 -
0 of
0
No citations were found for this document.
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
