TYPES 2007: International Workshop on Types for Proofs and Programs - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Thorsten Altenkirch, Conor McBride, editors, Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Volume 4502 of Lecture Notes in Computer Science, Springer, 2007.

runs on WebDSL