inria-00076445, version 1

Recursion induction principle revisited

Gérard Boudol () ¹, Laurent Kott ^a, 2

N° RR-0115 (1982)

• a –  Université de Rennes I
• 1:  UER de Mathématiques L.I.T.P.
• Université Paris VII - Paris Diderot
• 2:  Semantique du parallelisme (INRIA - IRISA)
• CNRS : LA227 – Institut National des Sciences Appliquées (INSA) - Rennes – INRIA – Université de Rennes 1

• Domain : Computer Science/Other
• Internal note : RR-0115

• inria-00076445, version 1
• http://hal.inria.fr/inria-00076445
• oai:hal.inria.fr:inria-00076445
• From: Rapport De Recherche Inria <>
• Submitted on: Wednesday, 24 May 2006 21:02:01
• Updated on: Tuesday, 12 April 2011 10:51:28