Ariel Arbiser

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
The lambda-calculus with constructors: Syntax, confluence and separation. J. Funct. Program. 19 (5) (2009)
Ariel Arbiser
The Expansion Problem in Lambda Calculi with Explicit Substitution. J. Log. Comput. 18 (6) (2008)
Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos
-calculus. Log. J. IGPL 15 (2) (2007)
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
A Lambda-Calculus with Constructors. RTA (2006)
Ariel Arbiser
Towards the unification of intuitive and formal game concepts with applications to computer chess. DiGRA Conference (2005)
Ariel Arbiser
Practical crossword generation with checkpoint search. IADIS AC (2005)