停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Jean-Simon Lemay女士

Jean-Simon Pacaud Lemay女士 – J.S.勒梅

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lemay24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lemay24
让-西蒙·帕考德·勒梅:
《纪念菲尔·斯科特的交互几何的范畴语义学》简论。 ACM SIGLOG新闻 11(2):4-33(2024)
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CruttwellL24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CruttwellL24网站
杰夫·S·H·克鲁特韦尔,Jean-Simon Pacaud Lemay女士:
反转切线类别。 CSL公司 2024:21:1-21:21
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GalalL24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GalalL24
泽纳布·加拉尔,Jean-Simon Pacaud Lemay女士:
结合了不动点和微分理论。低收入国家 2024:37:1-37:14
2023
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KerjeanL23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KerjeanL23
玛丽·柯让,Jean-Simon Pacaud Lemay女士:
泰勒展开作为DiLL模型中的单子。低收入国家 2023:1-13
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-10586
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-10586
Jean-Simon Pacaud Lemay女士,维也纳Jean-Baptiste:
分次微分范畴和分次微分线性逻辑。 MFPS公司 2023
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2308-06859
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2308-06859
Jean-Simon Pacaud Lemay女士:
笛卡尔微分Kleisli范畴。 MFPS公司 2023
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2308-16497
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2308-16497
J.罗宾B.科克特,Jean-Simon Pacaud Lemay女士:
摩尔-彭罗斯匕首类别。 QPL公司 2023:171-186
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2305-16524
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-16524
J.罗宾B.科克特,Jean-Simon Pacaud Lemay女士:
经典分配限制范畴。 CoRR公司 abs/2305.16524(2023)
2022
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CruttwellGLP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CruttwellGLP22
杰夫·S·H·克鲁特韦尔,乔纳森·加拉赫,Jean-Simon Pacaud Lemay女士,多瑞特·普龙克:
单面反向差速器类别。数学。结构。计算。科学。 32(10):1313-1363(2022)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2203-12478
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-12478
杰弗里·科特威尔,乔纳森·加拉赫,Jean-Simon Pacaud Lemay女士,多雷特·普龙克:
单面反向差速器类别。 CoRR公司 abs/2203.12478(2022)
2021
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acs/Lemay21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acs/Lemay21
让-西蒙·帕考德·勒梅:
笛卡尔微分范畴中的指数函数。申请。分类结构。 29(1):95-140(2021)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acs/CockettCL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acs/CockettCL21
J.罗宾B.科克特,杰夫·S·H·克鲁特韦尔,Jean-Simon Lemay女士:
切线类别I中的微分方程：完全向量场、流和指数。申请。分类结构。 29(5):773-825(2021)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acs/GarnerL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acs/GarnerL21
理查德·加纳,Jean-Simon Pacaud Lemay女士:
笛卡尔微分范畴作为倾斜丰富范畴。申请。分类结构。 29(6):1099-1150(2021)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Alvarez-Picallo21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Alvarez-Picallo21
马里奥·阿尔瓦雷斯·皮卡略,Jean-Simon Pacaud Lemay女士:
笛卡尔差分类别。日志。方法计算。科学。 17(三)(2021)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/Lemay21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/Lemay21
Jean-Simon Pacaud Lemay女士:
自由指数模态的代码关系。 CALCO公司 2021:19:1-19:21
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2211-01835
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2211-01835
Jean-Simon Pacaud Lemay女士:
笛卡尔微分范畴的雅可比数和梯度。 ACT公司 2021:29-42
2020
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acs/BluteCLS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acs/BlueteCLS20
理查德·布鲁特,J.罗宾B.科克特,Jean-Simon Pacaud Lemay女士,罗伯特·A·G·西利:
重新审视差异类别。申请。分类结构。 28(2):171-235(2020)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Lemay20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Lemay20
Jean-Simon Pacaud Lemay女士:
微分线性类别的方便解毒药。数学。结构。计算。科学。 30(5):545-569(2020)
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CockettLL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CockettLL20
J.罗宾B.科克特,Jean-Simon Pacaud Lemay女士,罗里·B·卢西申·赖特:
微分范畴余代数中的切线范畴。 CSL公司 2020:17:1-17:17
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CocketTGLMPP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CockettCGLMPP20
J.罗宾B.科克特,杰夫·S·H·克鲁特韦尔,乔纳森·加拉赫,Jean-Simon Pacaud Lemay女士,本杰明·麦克亚当,戈登·普洛金,多雷特·普龙克:
反向衍生工具类别。 CSL公司 2020:18:1-18:16
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Alvarez-Picallo20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Alvarez-Picallo20
马里奥·阿尔瓦雷斯·皮卡洛,Jean-Simon Pacaud Lemay女士:
笛卡尔差分类别。 FoSSaCS公司 2020:57-76
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2002-01091
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2002-01091
马里奥·阿尔瓦雷斯·皮卡略,Jean-Simon Pacaud Lemay女士:
笛卡尔差异分类：扩展报告。 CoRR公司 abs/2002.01091(2020)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-15490
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-15490
J.罗宾B.科克特,Jean-Simon Pacaud Lemay女士:
线性化组合器。 CoRR公司 abs/2010.15490(2020)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-12600
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-12600
马里奥·阿尔瓦雷斯·皮卡略,Jean-Simon Pacaud Lemay女士:
笛卡尔差分类别。 CoRR公司 abs/2011.12600(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Lemay19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Lemay19
Jean-Simon Pacaud Lemay女士:
将Coalgebra模态和MELL模型结构提升到Eilenberg-Moore范畴。日志。方法计算。科学。 15(4)(2019)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CockettL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CockettL19
J.罗宾B.科克特,Jean-Simon Lemay女士:
积分范畴和微积分范畴。数学。结构。计算。科学。 29(2):243-308(2019)
[c7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/KerjeanL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/KerjeanL19
玛丽·柯让,让-西蒙·帕考德·勒梅:
微分线性逻辑的高阶分布。 FoSSaCS公司 2019:330-347
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-00208
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-00208
Jean-Simon Pacaud Lemay女士:
为什么FHilb不是一个有趣的（共）差异类别。 QPL公司 2019:13-26
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1910-07065
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1910-07065
J.罗宾B.科克特,杰夫·S·H·克鲁特韦尔,乔纳森·加拉赫,Jean-Simon Pacaud Lemay女士,本杰明·麦克亚当,戈登·普洛金,多雷特·普龙克:
反向衍生工具类别。 CoRR公司 abs/1910.07065(2019)
2018
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Lemay18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Lemay18
Jean-Simon Pacaud Lemay女士:
将Coalgebra模态和IMELL模型结构提升到Eilenberg-Moore范畴。金融稳定与发展部 2018:21:1-21:20
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/主题/CockettL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CockettL18
J.罗宾B.科克特,Jean-Simon Lemay女士:
笛卡尔积分范畴和上下文积分范畴。 MFPS公司 2018:45-72
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-1116
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-1116
Jean-Simon Lemay女士:
将Coalgebra模态和MELL模型结构提升到Eilenberg-Moore范畴。 CoRR公司 abs/1804.11116(2018)
2017
[c3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CockettL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CockettL17
J.罗宾B.科克特,Jean-Simon Lemay女士:
积分范畴和微积分范畴。 CSL公司 2017:20:1-20:17
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/CockettL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/CockettL17
J.罗宾B.科克特,Jean-Simon Lemay女士:
差异化只有一个概念。金融稳定与发展部 2017:13:1-13:21
2016
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BagnolBCL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BagnolBCL16
马克·巴格诺尔,理查德·布鲁特,J.罗宾B.科克特,J.S.勒梅:
带微分和积分的洗牌准单子和模。 MFPS公司 2016:29-45

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。