From categorical combinators to lambda-sygma-calculi, a quest for confluence - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

From categorical combinators to lambda-sygma-calculi, a quest for confluence

Résumé

The l-calculus is known to be the theoretical base of functional programming languages. But, the substitution, which describes the parameters' passage, belongs only to the meta-language and this is a major drawback when dealing with compilation. Therefore, extensions of l-calculus, able to manipulate explicity substitutions and still confluent, are required. The categorical combinatory logic, introduced in 1983, and the ls-calculi, presented in 1988 and 1989, are responses to this question. We give here a survey of these theories, explaining their evolution from a confluence point of view. This report does not contain new results and remains rather informal, avoiding too technical details.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1777.pdf (806.51 Ko) Télécharger le fichier

Dates et versions

inria-00077017 , version 1 (29-05-2006)

Identifiants

  • HAL Id : inria-00077017 , version 1

Citer

Thérèse Hardin. From categorical combinators to lambda-sygma-calculi, a quest for confluence. [Research Report] RR-1777, INRIA. 1992. ⟨inria-00077017⟩
100 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More