Spanish non-finite or impersonal forms are: infinitive or infinitivo (CANTAR), gerund or gerundio (CANTANDO) and past participle or participio (CANTADO).
Then we have a number of tenses where the verb itself is conjugated: CANTO, CANTABA, CANTARÉ, etc. These are called simple tenses or tiempos simples.
Then we have tenses where an auxiliar verb haber is conjugated instead, followed by the participle of the original verb: HE CANTADO, HABÍA CANTADO, HABRÉ CANTADO, etc. These are called compound tenses or tiempos compuestos.
Then we have other forms where the auxiliar verb haber itself uses an impersonal form, and is followed by the original verb's participle: HABER CANTADO, HABIENDO CANTADO.
Questions:
- Do these constructions have a name?
Searching forhaber infinitive
I found Using the verb Haber in its infinitive form which explains how forms like HABER CANTADO are used, but it doesn't mention a specific name for them. - Does something like HABIDO CANTADO even exist? how would it be (or was) used?