Hardwiring truth in functional interpretations - Dinis, Bruno; Gaspar, Jaime (2023)