RAIRO. Informatique théorique, Tome 14 (1980) no. 3

Sommaire

Systèmes de déduction pour les arbres et les schémas de programmes (I)

Enjalbert, P.

p. 247-278

Computing of graphs of relations using generative grammars

Simovici, Dan A.

p. 279-299

Une généralisation de la théorie des types en

λ

Sallé, Patrick

p. 301-314