Catherine Parent

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

2 Catherine Parent: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. MPC 1995: 351-379

1993

1 Catherine Parent: Developing Certified Programs in the System Coq - The Program Tactic. TYPES 1993: 291-312

1995
2		Catherine Parent: Synthesizing Proofs from Programs in the Calculus of Inductive Constructions. MPC 1995: 351-379
1993
1		Catherine Parent: Developing Certified Programs in the System Coq - The Program Tactic. TYPES 1993: 291-312