26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch, editors, 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. Volume 188 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Conference: TYPES2021

This author has not been identified. Look up 'Ugo de'Liguoro' in GoogleThis author has not been identified. It may be one of the following persons:

Stefano Berardi

Look up 'Stefano Berardi' in GoogleThis author has not been identified. It may be one of the following persons:

Thorsten Altenkirch

Look up 'Thorsten Altenkirch' in Google

runs on WebDSL