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