`Collaborated with:`

C.Baral J.Dzifcak M.A.Gonzalez

`Talks about:`

algorithm (1) calculus (1) respect (1) program (1) correct (1) theori (1) invers (1) answer (1) type (1) set (1)

## Person: Aaron Gottesman

### DBLP: Gottesman:Aaron

### Contributed to:

### Wrote 1 papers:

- ICLP-J-2012-BaralDGG #algorithm #correctness #programming #set #λ-calculus
- Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them (CB, JD, MAG, AG), pp. 775–791.