| 2003 |
|---|
| 5 | | Rabéa Boulifa,
Mohamed Mezghiche:
Another Implementation Technique for Functional Programming Languages.
JFLA 2003: 37-48 |
| 1997 |
|---|
| 4 | EE | Mohamed Mezghiche:
c-beta-Machine with lambda-beta-Reduction.
Theor. Comput. Sci. 189(1-2): 221-228 (1997) |
| 1991 |
|---|
| 3 | | Mohamed Mezghiche:
Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result.
Theor. Comput. Sci. 87(1): 203-208 (1991) |
| 1989 |
|---|
| 2 | | Mohamed Mezghiche:
On Pseudo-c-beta-Normal Form in Combinatory Logic.
Theor. Comput. Sci. 66(3): 323-331 (1989) |
| 1984 |
|---|
| 1 | | Mohamed Mezghiche:
Une Nouvelle C beta-Réduction dans la Logique Combinatoire.
Theor. Comput. Sci. 31: 151-163 (1984) |
