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

Cached

Download Links

by Till Mossakowski , Florian Rabe , Valeria De Paiva , Lutz Schröder , Joseph Goguen
Citations:1 - 1 self

Document Versions

An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism –Till Mossakowski, Florian Rabe, Valeria De Paiva, Lutz Schröder, Joseph Goguen