`Travelled to:`

1 × Germany

1 × Italy

`Collaborated with:`

J.M.Almendros-Jiménez A.Gil-Luezas F.Lucio-Carrasco M.Rodríguez-Artalejo

`Talks about:`

function (2) order (2) polymorph (1) program (1) partial (1) algebra (1) semant (1) reason (1) higher (1) logic (1)

## Person: Antonio Gavilanes-Franco

### DBLP: Gavilanes-Franco:Antonio

### Contributed to:

### Wrote 2 papers:

- ALP-1996-Almendros-JimenezGG #algebra #functional #logic programming #order #polymorphism #semantics
- Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.
- CSL-1992-Gavilanes-FrancoLR #higher-order #reasoning
- Reasoning with Higher Order Partial Functions (AGF, FLC, MRA), pp. 167–181.