28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Delia Kesner, Pierre-Marie Pédrot, editors, 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France. Volume 269 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Conference: TYPES2023

This author has not been identified. Look up 'Delia Kesner' in GoogleThis author has not been identified. Look up 'Pierre-Marie Pédrot' in Google

runs on WebDSL