Myriam Quatrini公司
人员信息
优化列表
2020年–今天
2024 [第2页] 加布里埃拉·克罗科 , Myriam Quatrini公司 :
哥德尔的《绝对证据》和吉拉德的《Ludics:相互洞察》。 关于扣除的观点 2024 : 51-89
2010 – 2019
2018 [j7] 克里斯托夫·福奎尔 , Myriam Quatrini公司 :
通过可访问路径研究行为。 日志。 方法计算。 科学。 14 ( 2 ) ( 2018 ) 2014 [i2] 克里斯托夫·福奎尔 , Myriam Quatrini公司 :
乘法-加法线性行为的Ludics表征。 CoRR公司 abs/1403.3772 ( 2014 ) 2013 [j6] 克里斯托夫·福奎尔 , Myriam Quatrini公司 :
路德的化身和最大的道路集团。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) 2012 【c3】 克里斯托夫·福奎尔 , Myriam Quatrini公司 :
路德语和自然语言:第一种方法。 拉丁美洲和加勒比海 2012 : 21-44 2011 [j5] 阿兰·勒科姆 , Myriam Quatrini公司 :
对话的图形:来自卢德派的观点。 合成。 183 ( 补遗-1 ) : 59-85 ( 2011 ) 【c2】 玛丽·雷内·弗勒里 , Myriam Quatrini公司 , 塞缪尔·特隆松 :
Ludics对话。 逻辑和语法 2011 : 138-157 [第1页] 阿兰·勒科姆 , Myriam Quatrini公司 :
路德与修辞学。 PRELUDE项目 2011 : 32-57 [电子1] 西尔万·波戈达拉 , Myriam Quatrini公司 , 克里斯蒂安·雷托雷 :
逻辑和语法——在阿兰·勒科姆60岁生日之际献给他的文章。 计算机科学课堂讲稿 6700, 施普林格 2011 ,国际标准图书编号 978-3-642-21489-9 [目录]
2000 – 2009
2009 【c1】 阿兰·莱科姆特 , Myriam Quatrini公司 :
Ludics及其在自然语言语义学中的应用。 沃尔利克 2009 : 242-255 [i1] 阿兰·勒科姆 , Myriam Quatrini公司 :
Ludics及其在自然语言语义学中的应用。 CoRR公司 abs/0910.1484 ( 2009 ) 2007 【j4】 玛丽·雷内·弗勒里 , Myriam Quatrini公司 :
混合λ-微积分。 Stud Logica公司 87 ( 2-3 ) : 269-294 ( 2007 ) 2005 [j3] 奥利维耶·劳亨 , Myriam Quatrini公司 , 洛伦佐·托托拉·德·法尔科 :
极化和聚焦线性和经典证明。 Ann.纯粹应用。 日志。 134 ( 2-3 ) : 217-264 ( 2005 ) 2004 [注2] 玛丽·雷内·弗勒里 , Myriam Quatrini公司 :
Ludics的第一订单。 数学。 结构。 计算。 科学。 14 ( 2 ) : 189-213 ( 2004 )
1990 – 1999
1996 [j1] Myriam夸特里尼 :
的指称语义 信用证 2 架构(architecture)。 数学。 日志。 35 ( 1 ) : 1-32 ( 1996 )