×
皮埃尔·埃瓦里斯特·达甘;康纳·麦克布莱德

对装饰品的分类处理。 （英语） Zbl 1366.68021号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。530-539（2013年）。

引用于5文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B70号 计算机科学中的逻辑
68问题65 抽象数据类型；代数规范

关键词：

类型理论;范畴理论;归纳家庭
PDF格式BibTeX公司 XML格式引用
\textit{P.E..Dagand}和\textit{C.McBride}，摘自：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，LICS 2013。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。530--539（2013年；Zbl 1366.68021）
全文： 内政部