Free Access to the whole issue

Free Access

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

P. Enjalbert

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140302471

• Abstract
• PDF (1.83 MB)
• References

Free Access

Computing of graphs of relations using generative grammars p. 279

Dan A. Simovici

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140302791

• Abstract
• PDF (1.37 MB)
• References

Free Access

Une généralisation de la théorie des types en $\lambda $-calcul (II) p. 301

Patrick Sallé

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140303011

• Abstract
• PDF (1.17 MB)
• References