Christophe Dehlinger

	2004
4		Christophe Dehlinger, Jean-François Dufourd: Formalizing generalized maps in Coq. Theor. Comput. Sci. 323(1-3): 351-397 (2004)
3		Christophe Dehlinger, Jean-François Dufourd: Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323(1-3): 399-442 (2004)
	2002
2		Christophe Dehlinger, Jean-François Dufourd: Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs 2002: 148-163
	2000
1		Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck: Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry 2000: 306-324

Coauthor Index

1	Jean-François Dufourd	[1] [2] [3] [4]
2	Pascal Schreck	[1]