Vincent Rahli

	2009
3		Fairouz Kamareddine, Vincent Rahli: Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. Electr. Notes Theor. Comput. Sci. 247: 85-101 (2009)
	2008
2		Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells: A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC 2008: 171-185
	2007
1		Virgile Mogbil, Vincent Rahli: Uniform Circuits, & Boolean Proof Nets. LFCS 2007: 401-421

Coauthor Index

1	Fairouz Kamareddine	[2] [3]
2	Virgile Mogbil	[1]
3	Karim Nour	[2]
4	J. B. Wells	[2]

Colors in the list of coauthors