CASL公司 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
GHC公司 96篇文献中引用(1992–2021) 软件作者： 西蒙·佩顿（Simon Peyton）琼斯（Jones）；西蒙·马洛 相关软件： 哈斯克尔；毫升；OCaml… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）