Ariel Arbiser

	2009
6		Ariel Arbiser, Alexandre Miquel, Alejandro Ríos: The lambda-calculus with constructors: Syntax, confluence and separation. J. Funct. Program. 19(5): 581-631 (2009)
	2008
5		Ariel Arbiser: The Expansion Problem in Lambda Calculi with Explicit Substitution. J. Log. Comput. 18(6): 849-883 (2008)
	2007
4		Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos: The Weak Normalization of the Simply Typed lambda-se-calculus. Logic Journal of the IGPL 15(2): 121-147 (2007)
	2006
3		Ariel Arbiser, Alexandre Miquel, Alejandro Ríos: A Lambda-Calculus with Constructors. RTA 2006: 181-196
	2005
2		Ariel Arbiser: Towards the unification of intuitive and formal game concepts with applications to computer chess. DIGRA Conf. 2005
1		Ariel Arbiser: Practical crossword generation with checkpoint search. IADIS AC 2005: 235-240

Coauthor Index

1	Fairouz Kamareddine	[4]
2	Alexandre Miquel	[3] [6]
3	Alejandro Ríos	[3] [4] [6]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page