Vincent Rahli

2008
2	EE	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	EE	Virgile Mogbil, Vincent Rahli: Uniform Circuits, & Boolean Proof Nets. LFCS 2007: 401-421

Coauthor Index

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

Colors in the list of coauthors