Title:Types of mathematical thinking implemented in the learn process of functional programming / Aprovechamiento de los tipos de pensamiento matemático en el aprendizaje de la programación funcional
Title:An essentially syntactic and formal theory is still possible / Aún es posible una teoría esencialmente sintáctica y formal / Une théorie essentiellement syntaxique et formelle est encore possible