On the logical content of computational type theory: A solution to Curry's problem

Fairtlough, M.M.FairtloughMendler, MichaelMichaelMendler2019-09-192014-09-242002https://fis.uni-bamberg.de/handle/uniba/9776engOn the logical content of computational type theory: A solution to Curry's problemconferenceobject