`Collaborated with:`

C.Baral J.Dzifcak A.Gottesman

`Talks about:`

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

## Person: Marcos Alvarez Gonzalez

### DBLP: Gonzalez:Marcos_Alvarez

### 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.