1.Non determinism through type isomorphism

作　　者：Alejandro Díaz-Caro ;Gilles Dowek

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;113:137-144.doi:10.4204/EPTCS.113.13

出版社：Open Publishing Association

文章 ID：85357005

文章详细全文下载
2.Confluence via strong normalisation in an algebraic λ-calculus with rewriting

作　　者：Pablo Buiras ;Alejandro Díaz-Caro ;Mauro Jaskelioff

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;81:16-29.doi:10.4204/EPTCS.81.2

出版社：Open Publishing Association

文章 ID：83120410

文章详细全文下载
3.A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

作　　者：Pablo Arrighi ;Alejandro Díaz-Caro ;Benoît Valiron

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:1-15.doi:10.4204/EPTCS.88.1

出版社：Open Publishing Association

文章 ID：83120424

文章详细全文下载
4.A System F accounting for scalars

作　　者：Pablo Arrighi ;Alejandro Díaz-Caro

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:11)2012

出版社：Technical University of Braunschweig

文章 ID：264691925

文章详细全文下载
5.Call-by-value, call-by-name and the vectorial behaviour of the algebraic Î»-calculus

作　　者：Ali Assaf ;Alejandro Díaz-Caro ;Simon Perdrix 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:8)2014

出版社：Technical University of Braunschweig

文章 ID：264692172

文章详细全文下载

	Alejandro Díaz-Caro	5篇
	Benoît Valiron	2篇
	Pablo Arrighi	2篇
	Ali Assaf	1篇
	Christine Tasson	1篇

	澳大利亚	3篇
	德国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Alejandro Díaz-Caro")))) )) ) )"

	Gilles Dowek	1篇
	Mauro Jaskelioff	1篇
	Pablo Buiras	1篇
	Simon Perdrix	1篇

	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	2篇

	2014	1篇
	2013	1篇
	2012	1篇
	2011	2篇