Building an interpreter for label-selective λ-calculus

Autores: Lourdes Climent Flores, Javier Oliver Villaroya , María Luisa Llorens Agost
Localización: II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 325-337
Idioma: inglés
Texto completo no disponible (Saber más ...)
Resumen
- An extension of λ-calculus, called label-selective λ-calculus, is presented. This calculus was developed by H.Aït-Kaci. In label- selective λ-calculus the arguments of functions are selected by labels. The labels include numerical positions as well as symbolic keywords. In this way, concurrency in language expressivity is introduced without losing the propety of confluence. In this paper, an interpreter in Prolog that systematizes the application of label-selective λ-calculus reduction system in built and some selected examples of execution are given.