乔尔·德斯佩罗
人员信息
SPARQL查询
优化列表
2020年–今天
2020 [i6] 阿卜杜拉欣·巴赫拉米 , 伊丽莎白·德·玛丽亚 , 乔尔·德斯佩罗 , 艾米·费尔蒂 , 彼得罗·利奥 , 卡洛斯·奥拉特 :
生物医学和神经科学的计算逻辑。 CoRR公司 abs/2007.07571 ( 2020 )
2010 – 2019
2019 [j6] 考斯特夫·乔杜里 , 乔尔·德斯佩罗 , 卡洛斯·奥拉特 , 伊莱恩·皮门特尔 :
混合线性逻辑,重温。 数学。 结构。 计算。 科学。 29 ( 8 ) : 1151-1176 ( 2019 ) 2018 [c12] 乔尔·德斯佩罗 , 艾米·费尔蒂 , 彼得罗·利奥 , 卡洛斯·奥拉特 :
乳腺癌进展建模的逻辑框架。 MLCSB公司 2018 : 121-141 2017 [i5] 乔尔·德斯佩罗 :
系统生物学(数学)逻辑(特邀论文)。 CoRR公司 abs/1701.05063 ( 2017 ) 2016 [第11条] 乔尔·德斯佩罗 :
系统生物学(数学)逻辑(特邀论文)。 CMSB公司 2016 : 3-12 [第10条] 乔尔·德斯佩罗 , 卡洛斯·奥拉特 , 伊莱恩·皮门特尔 :
混合和次指数线性逻辑。 LSFA公司 2016 : 95-111 [i4] 乔尔·德斯佩罗 , 考斯特夫·乔杜里 :
约束转移系统的混合线性逻辑。 CoRR公司 abs/1603.02641 ( 2016 ) [i3] 乔尔·德斯佩罗 , 卡洛斯·奥拉特 , 伊莱恩·皮门特尔 :
混合和次指数线性逻辑技术报告。 CoRR公司 腹肌/1608.08779 ( 2016 ) 2014 【c9】 伊丽莎白·德·玛丽亚 , 乔尔·德斯佩罗 , 艾米·费尔蒂 :
系统生物学的逻辑框架。 FMMB公司 2014 : 136-155 [i2] 伊丽莎白·德·玛丽亚 , 乔尔·德斯佩罗 , 艾米·费尔蒂 :
系统生物学的逻辑框架。 CoRR公司 abs/1404.5439 ( 2014 ) 2013 【c8】 乔尔·德斯佩罗 , 考斯特夫·乔杜里 :
约束转移系统的混合线性逻辑。 类型 2013 : 150-168 [i1] 考斯特夫·乔杜里 , 乔尔·德斯佩罗 :
约束转移系统的混合线性逻辑及其在分子生物学中的应用。 CoRR公司 abs/1310.4310 ( 2013 )
2000 – 2009
2001 [j5] 乔尔·德斯佩罗 , 皮埃尔·勒鲁 :
函数类型对象上的递归。 数学。 结构。 计算。 科学。 11 ( 4 ) : 555-572 ( 2001 ) 【j4】 卡斯滕·舒尔曼 , 乔尔·德斯佩罗 , 弗兰克·普芬宁 :
高阶抽象语法的基本递归。 西奥。 计算。 科学。 266 ( 1-2 ) : 1-57 ( 2001 ) 2000 [j3] 乔尔·德斯佩罗 , 皮埃尔·勒鲁 :
模态lambda-Calculus的元理论结果。 J.功能。 日志。 程序。 2000 ( 1 ) ( 2000 ) 【c7】 乔尔·德斯佩罗 :
pi-Calculus的高阶规范。 IFIP TCS 2000 : 425-439
1990 – 1999
1998 【c6】 乔尔·德斯佩罗 , 皮埃尔·勒鲁 :
具有迭代和案例构造的模态Lambda演算。 类型 1998 : 47-61 1997 【c5】 乔尔·德斯佩罗 , 弗兰克·普芬宁 , 卡斯滕·舒尔曼 :
高阶抽象语法的基元递归。 薄层色谱分析 1997 : 147-163 1995 【c4】 乔尔·德斯佩罗 , 艾米·费尔蒂 , 安德烈·赫肖维茨 :
Coq中的高阶抽象语法。 薄层色谱分析 1995 : 124-138 1994 【c3】 乔尔·德斯佩罗 , 安德烈·赫肖维茨 :
Coq中带归纳的高阶抽象句法。 LPAR公司 1994 : 159-173 1992 [注2] 乔尔·德斯佩罗 :
Theo:一个交互式证明开发系统。 比特币 32 ( 1 ) : 15-29 ( 1992 )
1980 – 1989
1986 【c2】 多米尼克·克莱门特 , 乔尔·德斯佩罗 , Th.Despeyroux公司 , 吉尔斯·卡恩 :
一种简单的应用语言:Mini-ML。 LISP与函数编程 1986 : 13-27 【c1】 乔尔·德斯佩罗 :
自然语义学翻译证明。 低收入国家 1986 : 193-205 1983 [j1] 乔尔·德斯佩罗 :
Pascal编译器的代数规范。 ACM SIGPLAN通知 18 ( 12 ) : 34-48 ( 1983 )