Cynthia Kop

Un nuevo método para analizar programas funcionales usando sistemas de reescritura de términos de orden superior.

Este artículo examina la reescritura de orden superior por valor en programación.

Una exploración de funcionales de orden superior eficientes y sus implicaciones en la computación.

Un nuevo marco para analizar la terminación en funciones de orden superior.