1.Superdevelopments for Weak Reduction

作　　者：Eduardo Bonelli ;Pablo Barenbaum

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;15:20-31.doi:10.4204/EPTCS.15.2

出版社：Open Publishing Association

文章 ID：83119807

文章详细全文下载
2.Strong Bisimulation for Control Operators (Invited Talk)

作　　者：Delia Kesner ;Eduardo Bonelli ;Andrs Viso

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-23.doi:10.4230/LIPIcs.CSL.2020.4

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494205

文章详细全文下载
3.Optimality and the Linear Substitution Calculus

作　　者：Pablo Barenbaum ;Eduardo Bonelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:9:1-9:16.doi:10.4230/LIPIcs.FSCD.2017.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735118

文章详细全文下载
4.Efficient Type Checking for Path Polymorphism

作　　者：Juan Edi ;Andr{\'e}s Viso ;Eduardo Bonelli

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:6:1-6:23.doi:10.4230/LIPIcs.TYPES.2015.6

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015481

文章详细
5.Normalisation for Dynamic Pattern Calculi

作　　者：Eduardo Bonelli ;Delia Kesner ;Carlos Lombardi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:117-132.doi:10.4230/LIPIcs.RTA.2012.117

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846080

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

	Eduardo Bonelli	5篇
	Delia Kesner	2篇
	Pablo Barenbaum	2篇
	Alejandro Rios	1篇
	Andrs Viso	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Eduardo Bonelli")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2020	1篇
	2018	1篇
	2017	1篇
	2012	1篇
	2009	1篇

	Andr{\'e}s Viso	1篇
	Carlos Lombardi	1篇
	Juan Edi	1篇