共 50 条
- [1] The real type and ideal type of transdisciplinary processes: part I—theoretical foundations Sustainability Science, 2015, 10 : 527 - 544
- [2] The real type and ideal type of transdisciplinary processes: part II—what constraints and obstacles do we meet in practice? Sustainability Science, 2015, 10 : 653 - 671
- [8] Continuous quivers of type A (I) foundations Rendiconti del Circolo Matematico di Palermo Series 2, 2023, 72 : 833 - 868
- [10] Type-Theoretical Foundations of the Derivation System in Coq 2018 IEEE FIRST INTERNATIONAL CONFERENCE ON SYSTEM ANALYSIS & INTELLIGENT COMPUTING (SAIC), 2018, : 220 - 225