Mohamed Mezghiche. Une Nouvelle C beta-Réduction dans la Logique Combinatoire. Theoretical Computer Science, 31:151-163, 1984.
@article{Mezghiche84,
title = {Une Nouvelle C beta-Réduction dans la Logique Combinatoire},
author = {Mohamed Mezghiche},
year = {1984},
tags = {C++},
researchr = {https://researchr.org/publication/Mezghiche84},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {31},
pages = {151-163},
}