Volver a los detalles del artículo
De la intuición a la semántica: un léxico estándar para la redefinición de p-prims
Descargar
Descargar PDF