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:

Autores:

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

Fuentes:

scopus