TY  - THES
AU  - Martín Martín, Enrique
A3  - López Fraguas, Francisco Javier
A3  - Rodríguez Hortalá, Juan
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/37154
AB  - La programación lógico-funcional es un paradigma de programación declarativa muy expresivo, fruto de la combinación de la programación funcional y la programación lógica. Entre sus principales características destacan la posibilidad de de1nir...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Sistemas informáticos
KW  - Programación lógico-funcional
KW  - Programación declarativa
TI  - Sistemas de tipos en lenguajes lógico-funcionales
M3  - doctoral thesis
ER  -