TY  - RPRT
TI  - Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
AU  - Đorđe Marković
AU  - Marc Denecker
PY  - 2025
DO  - 10.4204/eptcs.416.22
UR  - https://arxiv.org/abs/2502.09224
ID  - 2502.09224
ER  -