Semántica y análisis de programas lógico funcionales

Tesis doctoral de Julio Mariño Carballo Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales […]

, , , , ,