zbMATH中的参考文献（参考文献7条)

1. 易卜拉希米先生。；肯塔基州凯什瓦多斯特。；Mahmoudi，M.：简单和次直不可约有限支撑集（Cb）-集（2018）
2. 凯什瓦多斯特，哈迪耶赫；Mahmoudi，Mojgan:从（G）-名义集范畴到01-（G）-名义集范畴的自由函子（2018）
3. 皮特，安德鲁M。；马蒂森，朱斯托斯；Derikx，Jasper:具有抽象名称的依赖类型理论（2015）
4. Crole，R.L.：混合动力的代表性充分性（2011）
5. 魏里奇，斯蒂芬妮；约基，布伦特A。；谢德，蒂姆：粘合剂未绑定（2011年）
6. 加贝，默多克J。；Mulligan，Dominic P.：Curry Howard关于使用一个半水平项的不完全一阶逻辑推导（2010）
7. Hamana，Makoto:用初始代数方法来处理带有可变绑定的项重写系统（2006）