TY  - CONF

T1  - Completing Gordon’s Higher-Order Logic

PY  - 2025/06/26

AU  - Popescu A

ED  - 

DO  - DOI: 10.1109/lics65433.2025.00008

PB  - Institute of Electrical and Electronics Engineers (IEEE)

VL  - 00

SP  - 1

EP  - 15

Y2  - 2025/10/26

ER  -