Ariel Arbiser

	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]
3	Alejandro Ríos	[3] [4]