伯特·林登霍维斯
人员信息
优化列表
2020年-今天
2023 【c5】 杰扎·延卡 , 伯特·林登霍维斯 :
量子超晶格。 QPL公司 2023 : 58-74 2022 [j5] 贾晓东 , 安德烈·科内尔 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
变分量子编程的语义。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-31 ( 2022 ) 2021 【j4】 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
LNL-FPC:线性/非线性不动点微积分。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) 【c4】 贾晓东 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
概率编程语言的交换单数。 许可证 2021 : 1-14 [i5] 贾晓东 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
概率编程语言的交换单数。 CoRR公司 abs/2102.00510 ( 2021 ) [i4] 贾晓东 , 安德烈·科内尔 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
变分量子编程的语义。 CoRR公司 abs/2107.13347 ( 2021 ) 2020 【c3】 安德烈·科内尔 , 伯特·林登霍维斯 , 迈克尔·米斯洛夫 :
Quantum CPO。 QPL公司 2020 : 174-187
2010 – 2019
2019 [j3] 克里斯·希恩 , 伯特·林登霍维斯 :
交换C*-子代数的域。 数学。 结构。 计算。 科学。 29 ( 7 ) : 972-1006 ( 2019 ) [注2] 夏定忠 , 克里斯·赫宁 , 伯特·林登霍维斯 , 米尔科·纳瓦拉 :
正交代数的布尔子代数。 订单 36 ( 三 ) : 563-609 ( 2019 ) [j1] 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
混合线性和非线性递归类型。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 111:1-111:29 ( 2019 ) [i3] 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
混合线性和非线性递归类型。 CoRR公司 abs/1906.09503 ( 2019 ) 2018 【c2】 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
丰富线性/非线性Lambda演算:字符串图的编程语言。 许可证 2018 : 第659-668页 [i2] 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
丰富线性/非线性Lambda演算:字符串图的编程语言。 CoRR公司 abs/1804.09822 ( 2018 ) 2015 【c1】 克里斯·希恩 , 伯特·林登霍维斯 :
交换C-子代数的域。 许可证 2015 : 450-461 [i1] 克里斯·希恩 , 伯特·林登霍维斯 :
交换C*-子代数的域。 CoRR公司 abs/1504.02730 ( 2015 )