Amokrane Saïbi

	2000
3		Gérard P. Huet, Amokrane Saïbi: Constructive category theory. Proof, Language, and Interaction 2000: 239-276
	1997
2		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

Coauthor Index

1

Gérard P. Huet

[3]