Travelled to:
1 × USA
Collaborated with:
∅ A.Miquel A.Ríos
Talks about:
constructor (1) calculus (1) concept (1) toward (1) intuit (1) formal (1) comput (1) applic (1) chess (1) unif (1)
Person: Ariel Arbiser
DBLP: Arbiser:Ariel
Contributed to:
Wrote 2 papers:
- RTA-2006-ArbiserMR #λ-calculus
- A λ-Calculus with Constructors (AA, AM, AR), pp. 181–196.
- DiGRA-2005-Arbiser #concept #game studies #towards #unification
- Towards the unification of intuitive and formal game concepts with applications to computer chess (AA).