Marković, Đ., & Denecker, M. (2025). Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts.
Chicago Style (17th ed.) CitationMarković, Đorđe, and Marc Denecker. Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. 2025.
MLA (9th ed.) CitationMarković, Đorđe, and Marc Denecker. Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. 2025.
Warning: These citations may not always be 100% accurate.