Decidability in Intuitionistic Type Theory is Functionally Decidable

• 1 January 1996
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 42  (1) , 300-304
• https://doi.org/10.1002/malq.19960420125

Abstract

Keywords

• INTUITIONISTIC TYPE THEORY
• INTUITIONISTIC DECIDABLE PREDICATES