TY  - RPRT
TI  - Complete Conditional Type Structures (Extended Abstract)
AU  - Nicodemo De Vito
PY  - 2023
DO  - 10.4204/eptcs.379.15
UR  - https://arxiv.org/abs/2307.05630
ID  - 2307.05630
ER  -