Christine Tasson

	2009
4		Paul-André Melliès, Nicolas Tabareau, Christine Tasson: An Explicit Formula for the Free Exponential Modality of Linear Logic. ICALP (2) 2009: 247-260
3		Michele Pagani, Christine Tasson: The Inverse Taylor Expansion Problem in Linear Logic. LICS 2009: 222-231
2		Christine Tasson: Algebraic Totality, towards Completeness. TLCA 2009: 325-340
	2005
1		Christian Urban, Christine Tasson: Nominal Techniques in Isabelle/HOL. CADE 2005: 38-53

Coauthor Index

1	Paul-André Melliès	[4]
2	Michele Pagani	[3]
3	Nicolas Tabareau	[4]
4	Christian Urban	[1]

Colors in the list of coauthors