TY  - RPRT
TI  - Typed Knowledge over Constructive Institutions
AU  - Hans-Martin Will
PY  - 2026
DO  - 10.5281/zenodo.23964990
UR  - https://arxiv.org/abs/2611.07432
ID  - 2611.07432
ER  -