Joensch's type theory

基本解释乔施类型理论