19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph Matthes, Aleksy Schubert, editors, 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France. Volume 26 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014.

Conference: TYPES2014

This author has not been identified. Look up 'Ralph Matthes' in GoogleThis author has not been identified. Look up 'Aleksy Schubert' in Google

runs on WebDSL