22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Conference: TYPES2018

This author has not been identified. Look up 'Silvia Ghilezan' in GoogleThis author has not been identified. Look up 'Herman Geuvers' in GoogleThis author has not been identified. Look up 'Jelena Ivetic' in Google

runs on WebDSL