Documentos de Ramón Pino-Pérez | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Año de Publicación: "1994"

Subtipo de publicación

Conference Object(1)

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)

Área temáticas

Ciencias de la computación(1)

Área de conocimiento

Ciencias de la computación(1)

Lógica matemática(1)

Optimización matemática(1)

Objetivos de Desarrollo Sostenible

ODS 4: Educación de calidad(1)

ODS 8: Trabajo decente y crecimiento económico(1)

ODS 9: Industria, innovación e infraestructura(1)

Origen

An abstract property of confluence applied to the study of the lazy partial lambda calculus

Conference Object

Abstract: The partial λ-calculus, introduced by E. Moggi, is a formalism well adapted to study the logic of pr

Palabras claves:

Even C., Ramón Pino-Pérez