A characterization of the Taylor expansion of lambda-terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre Boudes, Fanny He, Michele Pagani. A characterization of the Taylor expansion of lambda-terms. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 101-115, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

This author has not been identified. Look up 'Pierre Boudes' in GoogleThis author has not been identified. Look up 'Fanny He' in GoogleThis author has not been identified. Look up 'Michele Pagani' in Google

runs on WebDSL