Fibrations and recursivity Richard Mijoule — 1995 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications