"The Inverse Taylor Expansion Problem in Linear Logic."

Michele Pagani, Christine Tasson (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics