斯特凡·韦尔;彼得·蒂曼 具有有界存在类型和实现约束的子类型的可判定性。 (英语) Zbl 1251.68075号 新一代计算。 29,第1期,87-124(2011).MSC公司:第68页第19页 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wehr}和\textit{P.Thiemann},新一代计算。29,第1号,87-124(2011;Zbl 1251.68075) 全文: 内政部
Masato Takeichi 插入注入操作以表示规格。 (英语) Zbl 0603.68014号 新一代计算。 4, 365-381 (1986).MSC公司:68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},新一代计算。4365-381(1986年;兹bl 0603.68014) 全文: 内政部