作为由消去规则决定的类型的余代数

安东·塞泽尔.作为由消去规则决定的类型的余代数.彼得·戴比杰,斯坦·林德斯特伦,埃里克·帕尔姆格伦,戈兰·桑德霍姆,编辑,认识论与本体论——佩尔·马丁·洛夫关于数学哲学和数学基础的论文.第27卷,共页逻辑、认识论与科学的统一,页351-369、施普林格、,2012 [美国国防部]

@集合{Setzer12,title={作为由其消除规则确定的类型的余代数},作者={Anton Setzer},年份={2012},doi={10.1007/978-94-007-4435-6_16},url={http://dx.doi.org/10.1007/978-94-007-4435-6_16},研究人员={https://researchr.org/publication/Setzer12},引用={0},引用者={0},页码={351-369},booktitle={认识论vs.本体论-佩尔·马丁·洛夫的哲学和数学基础论文,编辑={Peter Dybjer和Sten Lindström以及Erik Palmgren和Göran Sundholm},体积={27},系列={逻辑、认识论和科学的统一},publisher={Springer},isbn={978-94-007-4435-6},}