Intuitionistic Type Theory Of Personality