24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Dybjer, José Espírito Santo, Luís Pinto, editors, 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. Volume 130 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Conference: TYPES2019

This author has not been identified. Look up 'Peter Dybjer' in GoogleThis author has not been identified. Look up 'José Espírito Santo' in GoogleThis author has not been identified. Look up 'Luís Pinto' in Google

runs on WebDSL