共 50 条
- [36] A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda Journal of Automated Reasoning, 2020, 64 : 857 - 877
- [37] An Agda Formalization of Uresin & Dubois' Asynchronous Fixed-Point Theory INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 623 - 639
- [38] RADICAL TEACHER A SOCIALIST, FEMINIST, AND ANTI-RACIST JOURNAL ON THE THEORY AND PRACTICE OF TEACHING RADICAL TEACHER, 2022, (124): : 76 - 77
- [39] CULTURAL-HISTORICAL THEORY AND EDUCATIONAL PRACTICE: SOME RADICAL-LOCAL CONSIDERATIONS NUANCES-ESTUDOS SOBRE EDUCACAO, 2013, 24 (01): : 30 - 44