Marković, Đ., & Denecker, M. (2025). Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts.
Chicago-Zitierstil (17. Ausg.)Marković, Đorđe, und Marc Denecker. Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. 2025.
MLA-Zitierstil (9. Ausg.)Marković, Đorđe, und Marc Denecker. Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.