Christine Paulin-Mohring

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A constructive denotational semantics for Kahn networks in Coq

Christine Paulin-Mohring (2009) · From Semantics to Computer Science · Cambridge University Press

Circuits as streams in Coq: Verification of a sequential multiplier

Christine Paulin-Mohring (1996) · Springer Berlin Heidelberg

Inductive definitions in the system Coq rules and properties

Christine Paulin-Mohring (1993) · Springer-Verlag

Extracting ω's programs from proofs in the calculus of constructions

Christine Paulin-Mohring (1989) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)