Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica

Juan José Moreno-Navarro. Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica. PhD thesis, Technical University of Madrid, Spain, 1989. [doi]

Abstract

Abstract is missing.