Pierre Castéran

According to our database, Pierre Castéran authored at least 5 papers between 1991 and 2014.

Collaborative distances:

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

2014

Summer School on Coq (NII Shonan Meeting 2014-9).

Pierre Castéran, Jacques Garrigue, David Nowak

NII Shonan Meet. Rep., 2014

2011

Tasks, Types and Tactics for Local Computation Systems.

Pierre Castéran, Vincent Filou

Stud. Inform. Univ., 2011

2004

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions

Yves Bertot, Pierre Castéran

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-07964-5, 2004

1995

On-Line Evaluation of Powers Using Euclid's Algorithm.

Srecko Brlek, Pierre Castéran, Laurent Habsieger, Richard Mallette

RAIRO Theor. Informatics Appl., 1995

1991

On Addition Schemes.

Srecko Brlek, Pierre Castéran, Robert Strandh

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991