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

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Año de Publicación: "1991"

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

Lógica matemática(1)

Modelo matemático(1)

Optimización matemática(1)

Origen

An extensional partial combinatory algebra based on λ-terms

Conference Object

Abstract: We build an extensional partial combinatory algebra on λ-terms. The main tool for our construction i

Palabras claves:

Ramón Pino-Pérez