18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nils Anders Danielsson, Bengt Nordström, editors, 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. Volume 19 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Conference: TYPES2013

This author has not been identified. It may be one of the following persons:

Nils Anders Danielsson

Look up 'Nils Anders Danielsson' in GoogleThis author has not been identified. Look up 'Bengt Nordström' in Google

runs on WebDSL