# Mental types can be identifiable as functional types in the language of Turing-machine… by Daniel Dennett > "Mental types can be identifiable as functional types in the language of Turing-machine description." > **— Daniel Dennett**, *Functionalism discussion, excerpt candidate* Verification Status: Unverified — exact wording/source has not yet been independently confirmed against a primary source; source clue: Functionalism discussion, excerpt candidate.