Liste des citations dans Numdam pour : Complexité de la réduction en logique combinatoire

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 339-367 / Harvested from Numdam

Dezani-Ciancaglini, M. ; Ronchi Della Rocca, S. ; Saitta, L.

Complexity of λ-term reductions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979), p. 257-287 / Harvested from Numdam