Sergueï Lenglet

	2009
3		Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462
2		Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271
	2006
1		Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23

Coauthor Index

1	Vincent Cremet	[1]
2	François Garillot	[1]
3	Martin Odersky	[1]
4	Alan Schmitt	[2] [3]
5	Jean-Bernard Stefani	[2] [3]

Colors in the list of coauthors