Language Extensions by Definitions 章节 发表日期: 2025年 查看全文 Lorenz Halbeisen, Regula Krapf 摘要 If we define new functions, the situation is slightly more subtle.