| |
| 2000 | ||
|---|---|---|
| 3 | Gérard P. Huet, Amokrane Saïbi: Constructive category theory. Proof, Language, and Interaction 2000: 239-276 | |
| 1997 | ||
| 2 | EE | Amokrane Saïbi: Typing Algorithm in Type Theory with Inheritance. POPL 1997: 292-301 |
| 1994 | ||
| 1 | Amokrane Saïbi: Formalization of a lamda-Calculus with Explicit Substitutions in Coq. TYPES 1994: 183-202 | |
| 1 | Gérard P. Huet | [3] |