×
作者ID: 拉方·安布罗斯“Lafont,Ambroise”最近发表的zbMATH文章
发布日期: 安布罗斯·拉丰
已编制索引的文档: 12出版物自2009年起,包括2个附加arXiv预打印
合著者: 10位合著者具有11联合出版物
127位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用14中的次7文件 引用人 年份
细胞豪定理。 Zbl 07299475号
博尔特,佩奥;汤姆·赫肖维茨;安布罗斯·拉丰
4
2020
基于monad和操作语义的模块(扩展版本)。 Zbl 07577567号
安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰
2022
Cartan-Hadamard的边界版本和刚性应用。 Zbl 1190.53031号
Jean-François女士;拉丰特
2009
通过高阶表示对单子进行模块化规范。 Zbl 07559272号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2019
高级签名和初始语义。 Zbl 07533329号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2018
可呈现的签名和初始语义。 Zbl 07379288号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2021
对于有限归纳法,归纳法就足够了。 Zbl 07756111号
安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰
1
2020
单体上的模块和操作语义(扩展版本)。 Zbl 07577567号
安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰
2022
可呈现的签名和初始语义。 Zbl 07379288号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2021
细胞豪定理。 兹比尔07299475
博尔特,佩奥;汤姆·赫肖维茨;安布罗斯·拉丰
4
2020
对于有限归纳法,归纳法就足够了。 Zbl 07756111号
安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰
1
2020
通过高阶表示对单子进行模块化规范。 Zbl 07559272号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2019
高级签名和初始语义。 Zbl 07533329号
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西
2
2018
Cartan-Hadamard的边界版本和刚性应用。 Zbl 1190.53031号
Jean-François女士;拉丰特
2009

按年份列出的引文