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

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

Abstract is missing.

runs on WebDSL