Non-Wellfounded Trees in Homotopy Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benedikt Ahrens, Paolo Capriotti, Régis Spadotti. Non-Wellfounded Trees in Homotopy Type Theory. In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. Volume 38 of LIPIcs, pages 17-30, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

This author has not been identified. Look up 'Benedikt Ahrens' in GoogleThis author has not been identified. Look up 'Paolo Capriotti' in GoogleThis author has not been identified. Look up 'Régis Spadotti' in Google

runs on WebDSL