-
1تقرير
المؤلفون: Faggian, Claudia, Pautasso, Daniele, Vanoni, Gabriele
المصدر: Proc. ACM Program. Lang. 8, POPL, Article 84 (January 2024)
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2311.04651