zbMATH参考文献(参考 22篇文章

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Alpuim,João;Oliveira,Bruno C.d.S.;Shi,Zhiyuan:不相交多态性(2017)
  2. Dunfield,Joshua:可扩展数据集优化(2017)
  3. Dougherty,Daniel J.;de'Liguoro,Ugo;Likori,Luigi;Stolze,Claude:交集和并集类型的可实现性解释(2016)
  4. Dunfield,Joshua:阐述交叉口和联合类型(2014)
  5. Dunfield,Joshua:阐述交叉点和联合类型(2012)
  6. Ducournau,Roland;Privat,Jean:多重继承的元建模语义(2011)
  7. Lovas,William;Pfenning,Frank:逻辑框架的精化类型及其作为证明无关性的解释(2010)
  8. Bono,Viviana;Venneri,Betti;Bettini,Lorenzo:带交集类型的类型lambda微积分(2008)
  9. Daniel J.Dougherty;Ghilezan,Silvia;Lescanne,Pierre:Curien-Herbelin对称lambda演算中的强正规化特征:扩展Coppo Dezani遗产(2008)
  10. 威廉·洛瓦斯;弗兰克·芬宁:LF的双向精炼型系统(2008)
  11. 利古里,路易吉;隆奇·德拉·罗卡,西蒙娜:《教堂交叉口类型》(2007)
  12. Compagoni,Adriana:高阶亚型及其可判定性(2004)
  13. Dunfield,Joshua;Pfenning,Frank:三方向排版(2004)
  14. Bugliesi,Michele;Pericás-Geertsen,Santiago M.:变量对象类型的类型推理(2002)
  15. Harper,Robert;Lillibridge,Mark:带控制算子的(F_ \omega)扩展的运算解释(1996)
  16. 奥赫恩,彼得W.(编辑);坦南,罗伯特D.(编辑):类似阿尔戈语的语言。(2卷)(1996年)
  17. Reddy,Uday S.:全局状态被认为是不必要的:基于对象的语义介绍。(1996年)ioport公司
  18. van Bakel,Steffen:交叉口类型分配系统(1995)
  19. Cardone,Felice;Dezani Ciancaglini,Mariangiola;de'Liguoro,Ugo:组合型学科(1994)
  20. Dezani Ciancaglini,Mariangiola;Hindley,J.Roger:组合逻辑的交叉类型(1992)