Geodesic

Tome 14 (1980) no. 3

Sommaire

Systèmes de déduction pour les arbres et les schémas de programmes (I)
p. 247-278
Computing of graphs of relations using generative grammars
p. 279-299
Une généralisation de la théorie des types en λ-calcul (II)
p. 301-314