Amokrane Saïbi

According to our database, Amokrane Saïbi authored at least 4 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Constructive category theory.

Gérard P. Huet, Amokrane Saïbi

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories. (Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory).

Amokrane Saïbi

PhD thesis, 1999

1997

Typing Algorithm in Type Theory with Inheritance.

Amokrane Saïbi

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1994

Formalization of a lamda-Calculus with Explicit Substitutions in Coq.

Amokrane Saïbi

Proceedings of the Types for Proofs and Programs, 1994