奥克塔维奥·马勒贝
人员信息
优化列表
2020年–今天
2024 [j6] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马勒贝 :
类型化线性代数lambda演算的具体模型。 数学。 结构。 计算。 科学。 34 ( 1 ) : 1-44 ( 2024 ) 【c3】 亚历杭德罗·迪亚斯·卡洛 , 吉尔斯·道克 , 马琳娜·艾夫尼斯基 , 奥克塔维奥·马尔赫贝 :
二阶直觉线性逻辑的线性证明语言。 沃尔利克 2024 : 18-35 2023 [i5] 亚历杭德罗·迪亚斯·卡洛 , 吉尔斯·道克 , 马琳娜·艾夫尼斯基 , 奥克塔维奥·马勒贝 :
二阶直觉线性逻辑的线性证明语言。 CoRR公司 abs/2310.08517 ( 2023 ) 2022 [j5] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马勒贝 :
统一球中的量子控制:Lambda-S1及其分类模型。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) [i4] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马勒贝 :
半模和(语法上)线性lambda演算。 CoRR公司 abs/2205.02142 ( 2022 ) 2020 【j4】 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马尔赫贝 :
向量空间计算定义的范畴构造。 申请。 分类结构。 28 ( 5 ) : 807-844 ( 2020 ) [i3] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马勒贝 :
统一球中的量子控制:Lambda-S1及其分类模型。 CoRR公司 abs/2012.05887 ( 2020 )
2010 – 2019
2019 [j3] 沃尔特·费雷尔·桑托斯 , 毛里西奥·吉勒莫 , 奥克塔维奥·马勒贝 :
带附加的有序组合代数的可实现性。 数学。 结构。 计算。 科学。 29 ( 三 ) : 430-464 ( 2019 ) [注2] 沃尔特·费雷尔·桑托斯 , 奥克塔维奥·马勒贝 :
蕴涵代数的范畴和可实现性。 数学。 结构。 计算。 科学。 29 ( 10 ) : 1575-1606 ( 2019 ) [i2] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马尔赫贝 :
向量空间计算定义的范畴结构。 CoRR公司 abs/1905.01305 ( 2019 ) 2018 【c2】 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马勒贝 :
Lambda-S的具体范畴语义。 LSFA公司 2018 : 83-100 [i1] 亚历杭德罗·迪亚斯·卡洛 , 奥克塔维奥·马尔赫贝 :
Lambda-S的具体范畴语义。 CoRR公司 abs/1806.09236 ( 2018 ) 2017 [j1] 沃尔特·费雷尔·桑托斯 , 乔纳斯·弗雷 , 毛里西奥·吉勒莫 , 奥克塔维奥·马勒贝 , 亚历山大·米克尔 :
有序组合代数与可实现性。 数学。 结构。 计算。 科学。 27 ( 三 ) : 428-458 ( 2017 ) 2013 【c1】 奥克塔维奥·马勒贝 , 菲利普·斯科特 , 彼得·塞林格 :
量子计算的前置模型:概述。 计算、逻辑、游戏和量子基础 2013 : 178-194