Paul Rozière

	2006
3		Christophe Raffalli, Paul Rozière: PhoX. The Seventeen Provers of the World 2006: 67-71
	1993
2		Michel Parigot, Paul Rozière: Constant Time Reductions in Lambda-Caculus. MFCS 1993: 608-617
1		Paul Rozière: Admissible and Derivable Rules in Intuitionistic Logic. Mathematical Structures in Computer Science 3(2): 129-136 (1993)

Coauthor Index

1	Michel Parigot	[2]
2	Christophe Raffalli	[3]

Colors in the list of coauthors